ASPSolver::DLVSoftware::Delegate Class Reference

The delegate for DLVSoftware. More...

#include <include/dlvhex2/ASPSolver.h>

Inheritance diagram for ASPSolver::DLVSoftware::Delegate:

Collaboration diagram for ASPSolver::DLVSoftware::Delegate:

Public Types
typedef DLVSoftware::Options	Options
Public Member Functions
	Delegate (const Options &options)
	Constructor.
virtual	~Delegate ()
	Destructor.
virtual void	useASTInput (const OrdinaryASPProgram &program)
	Uses an already parsed program as input.
virtual void	useInputProviderInput (InputProvider &inp, RegistryPtr reg)
	Uses an InputProvideras input.
virtual ASPSolverManager::ResultsPtr	getResults ()
	Returns the results of the reasoner (set of answer sets).
Protected Types
typedef boost::shared_ptr < ConcurrentQueueResultsImpl >	ConcurrentQueueResultsImplPtr
Protected Attributes
ConcurrentQueueResultsImplPtr	results

---

Detailed Description

The delegate for DLVSoftware.

Definition at line 75 of file ASPSolver.h.

---

Member Typedef Documentation

typedef boost::shared_ptr<ConcurrentQueueResultsImpl> ASPSolver::DLVSoftware::Delegate::ConcurrentQueueResultsImplPtr [protected]

Definition at line 91 of file ASPSolver.h.

typedef DLVSoftware::Options ASPSolver::DLVSoftware::Delegate::Options

Definition at line 79 of file ASPSolver.h.

---

Constructor & Destructor Documentation

ASPSolver::DLVSoftware::Delegate::Delegate

(

const Options &

options

)

Constructor.

Parameters:

options

See DLVSoftware::Options.

virtual ASPSolver::DLVSoftware::Delegate::~Delegate

(

)

[virtual]

Destructor.

---

Member Function Documentation

virtual ASPSolverManager::ResultsPtr ASPSolver::DLVSoftware::Delegate::getResults

(

)

[virtual]

Returns the results of the reasoner (set of answer sets).

Returns:

Results.

Implements ASPSolverManager::DelegateInterface.

virtual void ASPSolver::DLVSoftware::Delegate::useASTInput

(

const OrdinaryASPProgram &

program

)

[virtual]

Uses an already parsed program as input.

Parameters:

program

Parsed program.

Implements ASPSolverManager::DelegateInterface.

virtual void ASPSolver::DLVSoftware::Delegate::useInputProviderInput	(	InputProvider &	inp,
		RegistryPtr	reg
	)		[virtual]

Uses an InputProvideras input.

Parameters:

inp	InputProvider.
reg	Registry for adding parsed symbols to.

Implements ASPSolverManager::DelegateInterface.

---

Field Documentation

ConcurrentQueueResultsImplPtr ASPSolver::DLVSoftware::Delegate::results [protected]

Definition at line 94 of file ASPSolver.h.

---

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

• include/dlvhex2/ASPSolver.h