Base class for customized answer set printers. More...
#include <include/dlvhex2/AnswerSetPrinterCallback.h>
Public Member Functions | |
| AnswerSetPrinterCallback (ProgramCtx &ctx) | |
| Constructor. | |
| virtual bool | operator() (AnswerSetPtr model) |
| Method called for each answer set of the program. | |
Protected Attributes | |
| PredicateMaskPtr | filterpm |
| Mask representing the set of all atoms to be included in the output; might be NULL to represent that all atoms shall be output. | |
| ProgramCtx & | ctx |
| ProgramCtx. | |
Detailed Description
Base class for customized answer set printers.
Definition at line 44 of file AnswerSetPrinterCallback.h.
Constructor & Destructor Documentation
Constructor.
- Parameters:
-
ctx ProgramCtx.
Definition at line 50 of file AnswerSetPrinterCallback.cpp.
References ProgramCtx::config, filterpm, Configuration::getFilters(), and ProgramCtx::registry().
Member Function Documentation
| bool AnswerSetPrinterCallback::operator() | ( | AnswerSetPtr | model | ) | [virtual] |
Method called for each answer set of the program.
- Parameters:
-
model Pointer to the current answer set.
- Returns:
- True continues the model generation process, false stops the model generation process.
Implements ModelCallback.
Definition at line 72 of file AnswerSetPrinterCallback.cpp.
References ProgramCtx::config, ctx, DLVHEX_BENCHMARK_REGISTER_AND_SCOPE, bm::bvector< Alloc >::end(), filterpm, bm::bvector< Alloc >::first(), Configuration::getOption(), and WARNING().
Field Documentation
ProgramCtx& AnswerSetPrinterCallback::ctx [protected] |
PredicateMaskPtr AnswerSetPrinterCallback::filterpm [protected] |
Mask representing the set of all atoms to be included in the output; might be NULL to represent that all atoms shall be output.
Definition at line 61 of file AnswerSetPrinterCallback.h.
Referenced by AnswerSetPrinterCallback(), and operator()().
The documentation for this class was generated from the following files:
- include/dlvhex2/AnswerSetPrinterCallback.h
- src/AnswerSetPrinterCallback.cpp
