ASPSolverManager::DelegateInterface Class Reference

Interface for delegates. More...

#include <include/dlvhex2/ASPSolverManager.h>

Inheritance diagram for ASPSolverManager::DelegateInterface:

Public Member Functions
virtual	~DelegateInterface ()
	Destructor.
virtual void	useASTInput (const OrdinaryASPProgram &program)=0
	Uses an already parsed program as input.
virtual void	useInputProviderInput (InputProvider &inp, RegistryPtr reg)=0
	Uses an InputProvideras input.
virtual ResultsPtr	getResults ()=0
	Returns the results of the reasoner (set of answer sets).

---

Detailed Description

Interface for delegates.

Definition at line 87 of file ASPSolverManager.h.

---

Constructor & Destructor Documentation

virtual ASPSolverManager::DelegateInterface::~DelegateInterface

(

)

[inline, virtual]

Destructor.

Definition at line 91 of file ASPSolverManager.h.

---

Member Function Documentation

virtual ResultsPtr ASPSolverManager::DelegateInterface::getResults

(

)

[pure virtual]

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

Returns:

Results.

Implemented in ASPSolver::DLVSoftware::Delegate.

virtual void ASPSolverManager::DelegateInterface::useASTInput

(

const OrdinaryASPProgram &

program

)

[pure virtual]

Uses an already parsed program as input.

Parameters:

program

Parsed program.

Implemented in ASPSolver::DLVSoftware::Delegate.

virtual void ASPSolverManager::DelegateInterface::useInputProviderInput	(	InputProvider &	inp,
		RegistryPtr	reg
	)		[pure virtual]

Uses an InputProvideras input.

Parameters:

inp	InputProvider.
reg	Registry for adding parsed symbols to.

Implemented in ASPSolver::DLVSoftware::Delegate.

---

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

• include/dlvhex2/ASPSolverManager.h