Event type used to signal that a solve step has started. More...

Inheritance diagram for Clasp::ClaspFacade::StepStart:

Collaboration diagram for Clasp::ClaspFacade::StepStart:

Public Member Functions
	StepStart (const ClaspFacade &f)

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

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

Public Attributes
const ClaspFacade *	facade

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< StepStart >
static const uint32	id_s

Detailed Description

Event type used to signal that a solve step has started.

Constructor & Destructor Documentation

Clasp::ClaspFacade::StepStart::StepStart ( const ClaspFacade & f )

inlineexplicit

const ClaspFacade* Clasp::ClaspFacade::StepStart::facade

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

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