Public Member Functions | |
ModelPrinter () | |
bool | onModel (const Clasp::Solver &s, const Clasp::Model &m) |
Definition at line 38 of file example2.cpp.
ModelPrinter::ModelPrinter | ( | ) | [inline] |
Definition at line 40 of file example2.cpp.
bool ModelPrinter::onModel | ( | const Clasp::Solver & | s, |
const Clasp::Model & | m | ||
) | [inline, virtual] |
Reimplemented from Clasp::EventHandler.
Definition at line 41 of file example2.cpp.