dlvhex  2.5.0
Public Member Functions
ASPSolverManager::SoftwareConfigurationBase Struct Reference

Interface to a software configuration for solving. More...

#include <include/dlvhex2/ASPSolverManager.h>

Inheritance diagram for ASPSolverManager::SoftwareConfigurationBase:
Inheritance graph
[legend]

Public Member Functions

virtual DelegatePtr createDelegate () const =0
 This method creates as many delegates as required (therefore it is const).

Detailed Description

Interface to a software configuration for solving.

This is passed to the ASPSolverManager::solve methods Tt creates a useable delegate for solving.

Definition at line 126 of file ASPSolverManager.h.

Member Function Documentation

virtual DelegatePtr ASPSolverManager::SoftwareConfigurationBase::createDelegate ( ) const [pure virtual]

This method creates as many delegates as required (therefore it is const).

Returns:
Delegate.

Implemented in ASPSolverManager::SoftwareConfiguration< SoftwareT >.

The documentation for this struct was generated from the following file: