
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.