ASPSolverManager::SoftwareConfiguration< SoftwareT > Struct Template Reference

Generic concrete software configuration, parameterized by a concrete software. More...

#include <include/dlvhex2/ASPSolverManager.h>

Inheritance diagram for ASPSolverManager::SoftwareConfiguration< SoftwareT >:

Collaboration diagram for ASPSolverManager::SoftwareConfiguration< SoftwareT >:

Public Types
typedef SoftwareT	Software
	our software
typedef Software::Options	Options
	the options of our software
Public Member Functions
	SoftwareConfiguration ()
	Constructor using default options.
	SoftwareConfiguration (const Options &o)
	Constructor using custom options.
virtual	~SoftwareConfiguration ()
	Destructor.
virtual DelegatePtr	createDelegate () const
	creating the delegate
Data Fields
Options	options
	Concrete options for creating the delegate.

---

Detailed Description

template<typename SoftwareT>
struct ASPSolverManager::SoftwareConfiguration< SoftwareT >

Generic concrete software configuration, parameterized by a concrete software.

Creates delegate using software type.

Todo:

concept check: SofwareT IS_A SoftwareBase?

Definition at line 140 of file ASPSolverManager.h.

---

Member Typedef Documentation

template<typename SoftwareT >

typedef Software::Options ASPSolverManager::SoftwareConfiguration< SoftwareT >::Options

the options of our software

Definition at line 146 of file ASPSolverManager.h.

template<typename SoftwareT >

typedef SoftwareT ASPSolverManager::SoftwareConfiguration< SoftwareT >::Software

our software

Definition at line 144 of file ASPSolverManager.h.

---

Constructor & Destructor Documentation

template<typename SoftwareT >

ASPSolverManager::SoftwareConfiguration< SoftwareT >::SoftwareConfiguration

(

)

[inline]

Constructor using default options.

Definition at line 152 of file ASPSolverManager.h.

template<typename SoftwareT >

ASPSolverManager::SoftwareConfiguration< SoftwareT >::SoftwareConfiguration

(

const Options &

o

)

[inline]

Constructor using custom options.

Parameters:

o	Options to use.

Definition at line 155 of file ASPSolverManager.h.

template<typename SoftwareT >

virtual ASPSolverManager::SoftwareConfiguration< SoftwareT >::~SoftwareConfiguration

(

)

[inline, virtual]

Destructor.

Definition at line 158 of file ASPSolverManager.h.

---

Member Function Documentation

template<typename SoftwareT >

virtual DelegatePtr ASPSolverManager::SoftwareConfiguration< SoftwareT >::createDelegate

(

)

const [inline, virtual]

creating the delegate

Implements ASPSolverManager::SoftwareConfigurationBase.

Definition at line 161 of file ASPSolverManager.h.

---

Field Documentation

template<typename SoftwareT >

Options ASPSolverManager::SoftwareConfiguration< SoftwareT >::options

Concrete options for creating the delegate.

Definition at line 149 of file ASPSolverManager.h.

---

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

• include/dlvhex2/ASPSolverManager.h