Inheritance diagram for Clasp::BasicSolveEvent:

Collaboration diagram for Clasp::BasicSolveEvent:

Public Types
enum	EventOp { event_none = 0, event_deletion = 'D', event_exit = 'E', event_grow = 'G', event_restart = 'R' }

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 }

Public Member Functions
	BasicSolveEvent (const Solver &s, EventOp a_op, uint64 cLim, uint32 lLim)

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

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

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

Public Attributes
uint64	cLimit

uint32	lLimit

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

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

uint32	verb: 2

uint32	op: 8

uint32	id: 16

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

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

Member Enumeration Documentation

Constructor & Destructor Documentation

Clasp::BasicSolveEvent::BasicSolveEvent	(	const Solver &	s,
		EventOp	a_op,
		uint64	cLim,
		uint32	lLim
	)

inline

uint64 Clasp::BasicSolveEvent::cLimit

uint32 Clasp::BasicSolveEvent::lLimit

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

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