Event type for reporting models via generic event handler. More...

#include <misc_types.h>

Inheritance diagram for Clasp::ModelEvent:

Collaboration diagram for Clasp::ModelEvent:

Public Member Functions
	ModelEvent (const Model &m, const Solver &s)

Public Member Functions inherited from Clasp::SolveEvent< ModelEvent >
	SolveEvent (const Solver &s, Event::Verbosity verb)

Public Member Functions inherited from Clasp::Event_t< ModelEvent >
	Event_t (Subsystem sys, Verbosity verb)

Public Member Functions inherited from Clasp::Event
	Event (Subsystem sys, uint32 evId, Verbosity verbosity)

Public Attributes
const Model *	model

Public Attributes inherited from Clasp::SolveEvent< ModelEvent >
const Solver *	solver

Public Attributes inherited from Clasp::Event
uint32	system: 2

uint32	verb: 2

uint32	op: 8

uint32	id: 16

Additional Inherited Members
Public Types inherited from Clasp::Event
enum	Subsystem { subsystem_facade = 0, subsystem_load = 1, subsystem_prepare = 2, subsystem_solve = 3 }

enum	Verbosity { verbosity_quiet = 0, verbosity_low = 1, verbosity_high = 2, verbosity_max = 3 }

Static Public Member Functions inherited from Clasp::Event
static uint32	nextId ()

Static Public Attributes inherited from Clasp::Event_t< ModelEvent >
static const uint32	id_s

Detailed Description

Event type for reporting models via generic event handler.

Constructor & Destructor Documentation

Clasp::ModelEvent::ModelEvent	(	const Model &	m,
		const Solver &	s
	)

inline

const Model* Clasp::ModelEvent::model

The documentation for this struct was generated from the following file:

/Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libclasp/clasp/util/misc_types.h