Results that are not streamed but provided to be incrementally requested. More...
#include <include/dlvhex2/ASPSolverManager.h>
Public Member Functions | |
| ConcurrentQueueResults () | |
| Constructor. | |
| virtual | ~ConcurrentQueueResults () |
| Destructor. | |
| void | enqueueAnswerset (AnswerSetPtr answerset) |
| Adds another answer set. | |
| void | enqueueException (const std::string &error) |
| Adds another error message. | |
| void | enqueueEnd () |
| Indicates end of answer sets. | |
| virtual AnswerSetPtr | getNextAnswerSet () |
| Retrieves the next answer set. | |
Protected Attributes | |
| AnswerSetQueuePtr | queue |
| List of answer sets. | |
Detailed Description
Results that are not streamed but provided to be incrementally requested.
Definition at line 243 of file ASPSolverManager.h.
Constructor & Destructor Documentation
| ConcurrentQueueResults::~ConcurrentQueueResults | ( | ) | [virtual] |
Member Function Documentation
| void ConcurrentQueueResults::enqueueAnswerset | ( | AnswerSetPtr | answerset | ) |
Adds another answer set.
- Parameters:
-
answerset Answer set to add.
Definition at line 176 of file ASPSolverManager.cpp.
| void ConcurrentQueueResults::enqueueEnd | ( | ) |
Indicates end of answer sets.
Definition at line 192 of file ASPSolverManager.cpp.
References queue.
| void ConcurrentQueueResults::enqueueException | ( | const std::string & | error | ) |
Adds another error message.
- Parameters:
-
error Error to add.
Definition at line 183 of file ASPSolverManager.cpp.
References queue.
| AnswerSetPtr ConcurrentQueueResults::getNextAnswerSet | ( | ) | [virtual] |
Retrieves the next answer set.
- Returns:
- Next answer set.
Implements ASPSolverManager::Results.
Definition at line 201 of file ASPSolverManager.cpp.
References DLVHEX_BENCHMARK_REGISTER_AND_SCOPE, and queue.
Field Documentation
AnswerSetQueuePtr ConcurrentQueueResults::queue [protected] |
List of answer sets.
Definition at line 267 of file ASPSolverManager.h.
Referenced by enqueueEnd(), enqueueException(), and getNextAnswerSet().
The documentation for this class was generated from the following files:
- include/dlvhex2/ASPSolverManager.h
- src/ASPSolverManager.cpp
