ASPSolverManager::SoftwareBase Struct Reference
Generic solver software to be implemented for each solver type. More...
#include <include/dlvhex2/ASPSolverManager.h>
Inheritance diagram for ASPSolverManager::SoftwareBase:
Public Types | |
| typedef GenericOptions | Options |
| typedef DelegateInterface | Delegate |
Private Member Functions | |
| SoftwareBase () | |
| Constructor. | |
Detailed Description
Generic solver software to be implemented for each solver type.
Definition at line 106 of file ASPSolverManager.h.
Member Typedef Documentation
Definition at line 109 of file ASPSolverManager.h.
Definition at line 108 of file ASPSolverManager.h.
Constructor & Destructor Documentation
| ASPSolverManager::SoftwareBase::SoftwareBase | ( | ) | [private] |
Constructor.
A software is never instantiated, it only holds types.
The documentation for this struct was generated from the following file:
- include/dlvhex2/ASPSolverManager.h
