ASPSolver::DLVSoftware Struct Reference
Interface to DLV software. More...
#include <include/dlvhex2/ASPSolver.h>
Inheritance diagram for ASPSolver::DLVSoftware:
Collaboration diagram for ASPSolver::DLVSoftware:
Data Structures | |
| class | Delegate |
| The delegate for DLVSoftware. More... | |
| struct | Options |
| Specific options for DLV. More... | |
Public Types | |
| typedef ASPSolverManager::SoftwareConfiguration < DLVSoftware > | Configuration |
Detailed Description
Interface to DLV software.
Definition at line 53 of file ASPSolver.h.
Member Typedef Documentation
Definition at line 56 of file ASPSolver.h.
The documentation for this struct was generated from the following file:
- include/dlvhex2/ASPSolver.h
