Clasp::EventHandler Class Reference

#include <misc_types.h>

Inheritance diagram for Clasp::EventHandler:

Collaboration diagram for Clasp::EventHandler:

Public Member Functions
	EventHandler (Event::Verbosity verbosity=Event::verbosity_quiet)
virtual	~EventHandler ()
void	setVerbosity (Event::Subsystem sys, Event::Verbosity verb)
void	dispatch (const Event &ev)
virtual void	onEvent (const Event &)
virtual bool	onModel (const Solver &s, const Model &m)

Constructor & Destructor Documentation

Clasp::EventHandler::EventHandler ( Event::Verbosity  verbosity = Event::verbosity_quiet )

inlineexplicit

Clasp::EventHandler::~EventHandler ( )

virtual

Member Function Documentation

void Clasp::EventHandler::dispatch ( const Event &  ev )

inline

Here is the call graph for this function:

virtual void Clasp::EventHandler::onEvent ( const Event &  )

inlinevirtual

Reimplemented in Clasp::Cli::TextOutput, Clasp::Cli::ClaspAppBase, Clasp::Cli::Output, ClingoApp, and ClingoLib.

virtual bool Clasp::EventHandler::onModel ( const Solver &  s, const Model &  m  )

inlinevirtual

Reimplemented in Clasp::Cli::ClaspAppBase, Clasp::Cli::Output, ClingoApp, Gringo::Output::Test::ModelPrinter, and ClingoLib.

Here is the call graph for this function:

void Clasp::EventHandler::setVerbosity ( Event::Subsystem  sys, Event::Verbosity  verb  )

inline

---

The documentation for this class was generated from the following files:

• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libclasp/clasp/util/misc_types.h
• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libclasp/src/shared_context.cpp