Event type for reporting models via generic event handler. More...
#include <misc_types.h>
Inheritance diagram for Clasp::ModelEvent:
Public Member Functions | |
| ModelEvent (const Model &m, const Solver &s) | |
Public Attributes | |
| const Model * | model |
Detailed Description
Event type for reporting models via generic event handler.
Definition at line 76 of file misc_types.h.
Constructor & Destructor Documentation
| Clasp::ModelEvent::ModelEvent | ( | const Model & | m, |
| const Solver & | s | ||
| ) | [inline] |
Definition at line 77 of file misc_types.h.
Member Data Documentation
| const Model* Clasp::ModelEvent::model |
Definition at line 78 of file misc_types.h.
The documentation for this struct was generated from the following file: