clingo
|
Event type used to signal that a solve step has terminated. More...
#include <clasp_facade.h>
Public Member Functions | |
StepReady (const Summary &x) | |
Public Member Functions inherited from Clasp::Event_t< StepReady > | |
Event_t (Subsystem sys, Verbosity verb) | |
Public Member Functions inherited from Clasp::Event | |
Event (Subsystem sys, uint32 evId, Verbosity verbosity) | |
Public Attributes | |
const Summary * | summary |
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< StepReady > | |
static const uint32 | id_s |
Event type used to signal that a solve step has terminated.
|
inlineexplicit |
const Summary* Clasp::ClaspFacade::StepReady::summary |