ModelCallback Class Reference
Callback functor for processing complete models of the HEX program. More...
#include <include/dlvhex2/PluginInterface.h>
Inheritance diagram for ModelCallback:
Public Member Functions | |
| virtual | ~ModelCallback () |
| virtual bool | operator() (AnswerSetPtr as)=0 |
| Method called for each complete model of the program. | |
Detailed Description
Callback functor for processing complete models of the HEX program.
Setup such callbacks in PluginInterface::setupProgramCtx Register such callback in ProgramCtx::modelCallbacks A callback can abort the model building process.
Use this, e.g., for accumulating data over all models. (For an example see QueryPlugin.cpp.)
Definition at line 1396 of file PluginInterface.h.
Constructor & Destructor Documentation
| virtual ModelCallback::~ModelCallback | ( | ) | [inline, virtual] |
Definition at line 1400 of file PluginInterface.h.
Member Function Documentation
| virtual bool ModelCallback::operator() | ( | AnswerSetPtr | as | ) | [pure virtual] |
Method called for each complete model of the program.
- Parameters:
-
as Pointer to the current answer set.
- Returns:
- True continues the model generation process, false stops the model generation process.
Implemented in ProgramCtx::SubprogramAnswerSetCallback, CSVAnswerSetPrinterCallback, and AnswerSetPrinterCallback.
The documentation for this class was generated from the following file:
- include/dlvhex2/PluginInterface.h
