ASPSolverManager::GenericOptions Struct Reference
Generic options usable for every solver type. More...
#include <include/dlvhex2/ASPSolverManager.h>
Inheritance diagram for ASPSolverManager::GenericOptions:
Public Member Functions | |
| GenericOptions () | |
| Constructor. | |
| virtual | ~GenericOptions () |
| Destructor. | |
Data Fields | |
| bool | includeFacts |
| Whether to include facts in the result (default=no). | |
Detailed Description
Generic options usable for every solver type.
Definition at line 64 of file ASPSolverManager.h.
Constructor & Destructor Documentation
Constructor.
Definition at line 47 of file ASPSolverManager.cpp.
| ASPSolverManager::GenericOptions::~GenericOptions | ( | ) | [virtual] |
Destructor.
Definition at line 53 of file ASPSolverManager.cpp.
Field Documentation
Whether to include facts in the result (default=no).
Definition at line 72 of file ASPSolverManager.h.
The documentation for this struct was generated from the following files:
- include/dlvhex2/ASPSolverManager.h
- src/ASPSolverManager.cpp
