Base class for solving related events. More...
#include <misc_types.h>
Public Member Functions | |
SolveEvent (const Solver &s, Event::Verbosity verb) | |
Public Attributes | |
const Solver * | solver |
Base class for solving related events.
Definition at line 71 of file misc_types.h.
Clasp::SolveEvent< T >::SolveEvent | ( | const Solver & | s, |
Event::Verbosity | verb | ||
) | [inline] |
Definition at line 72 of file misc_types.h.
const Solver* Clasp::SolveEvent< T >::solver |
Definition at line 73 of file misc_types.h.