Inheritance diagram for Clasp::SolveTestEvent:

Collaboration diagram for Clasp::SolveTestEvent:

Public Member Functions
	SolveTestEvent (const Solver &s, uint32 scc, bool partial)

uint64	conflicts () const

uint64	choices () const

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

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

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

Public Attributes
int	result

uint32	scc:31

uint32	partial: 1

uint64	confDelta

uint64	choiceDelta

double	time

Public Attributes inherited from Clasp::SolveEvent< SolveTestEvent >
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< SolveTestEvent >
static const uint32	id_s

Constructor & Destructor Documentation

Clasp::SolveTestEvent::SolveTestEvent	(	const Solver &	s,
		uint32	scc,
		bool	partial
	)

Member Function Documentation

uint64 Clasp::SolveTestEvent::choices ( ) const

uint64 Clasp::SolveTestEvent::conflicts ( ) const

uint64 Clasp::SolveTestEvent::choiceDelta

uint64 Clasp::SolveTestEvent::confDelta

uint32 Clasp::SolveTestEvent::partial

int Clasp::SolveTestEvent::result

uint32 Clasp::SolveTestEvent::scc

double Clasp::SolveTestEvent::time

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

/Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libclasp/clasp/dependency_graph.h
/Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libclasp/src/dependency_graph.cpp