ASPSolverManager::Results Struct Reference

Represents a set of answer sets, which is possibly lazily generated. More...

#include <include/dlvhex2/ASPSolverManager.h>

Inheritance diagram for ASPSolverManager::Results:

Public Member Functions
virtual	~Results ()
	Destructor.
virtual AnswerSet::Ptr	getNextAnswerSet ()=0
	Retrieves the next answer set.

---

Detailed Description

Represents a set of answer sets, which is possibly lazily generated.

Definition at line 76 of file ASPSolverManager.h.

---

Constructor & Destructor Documentation

virtual ASPSolverManager::Results::~Results

(

)

[inline, virtual]

Destructor.

Definition at line 79 of file ASPSolverManager.h.

---

Member Function Documentation

virtual AnswerSet::Ptr ASPSolverManager::Results::getNextAnswerSet

(

)

[pure virtual]

Retrieves the next answer set.

Returns:

Next answer set.

Implemented in ConcurrentQueueResults, and PreparedResults.

---

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

• include/dlvhex2/ASPSolverManager.h