dispatch(const Event &ev) | Clasp::EventHandler | [inline] |
EventHandler(Event::Verbosity verbosity=Event::verbosity_quiet) | Clasp::EventHandler | [inline, explicit] |
EventHandler(const EventHandler &) | Clasp::EventHandler | [private] |
onEvent(const Event &) | Clasp::EventHandler | [inline, virtual] |
onModel(const Solver &s, const Model &m) | Clasp::EventHandler | [inline, virtual] |
operator=(const EventHandler &) | Clasp::EventHandler | [private] |
setVerbosity(Event::Subsystem sys, Event::Verbosity verb) | Clasp::EventHandler | [inline] |
verbosity_ | Clasp::EventHandler | [private] |
~EventHandler() | Clasp::EventHandler | [virtual] |