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.