ASPSolver::DLVSoftware::Options Struct Reference
Specific options for DLV. More...
#include <include/dlvhex2/ASPSolver.h>
Inheritance diagram for ASPSolver::DLVSoftware::Options:
Collaboration diagram for ASPSolver::DLVSoftware::Options:
Public Member Functions | |
| Options () | |
| Constructor. | |
| virtual | ~Options () |
| Destructor. | |
Data Fields | |
| std::vector< std::string > | arguments |
| Commandline arguments to add (default="-silent"). | |
Detailed Description
Specific options for DLV.
Definition at line 59 of file ASPSolver.h.
Constructor & Destructor Documentation
Constructor.
| virtual ASPSolver::DLVSoftware::Options::~Options | ( | ) | [virtual] |
Destructor.
Field Documentation
| std::vector<std::string> ASPSolver::DLVSoftware::Options::arguments |
Commandline arguments to add (default="-silent").
This does not include the .typ file for dlvdb (this is managed by DLVDBSoftware::Options/DLVDBSoftware::Delegate).
Definition at line 71 of file ASPSolver.h.
The documentation for this struct was generated from the following file:
- include/dlvhex2/ASPSolver.h
