dlvhex
2.5.0
|
Stores one answer set. More...
#include <include/dlvhex2/ASPSolverManager.h>
Public Member Functions | |
AnswerSetQueueElement (AnswerSetPtr answerset, const std::string &error) | |
Constructor. | |
Data Fields | |
AnswerSetPtr | answerset |
Answer set. | |
std::string | error |
Error message. |
Stores one answer set.
Definition at line 224 of file ASPSolverManager.h.
AnswerSetQueueElement::AnswerSetQueueElement | ( | AnswerSetPtr | answerset, |
const std::string & | error | ||
) | [inline] |
Constructor.
answerset | See AnswerSetQueueElement::answerset. |
error | See AnswerSetQueueElement::error. |
Definition at line 233 of file ASPSolverManager.h.
Answer set.
Definition at line 227 of file ASPSolverManager.h.
std::string AnswerSetQueueElement::error |
Error message.
Definition at line 229 of file ASPSolverManager.h.