include/dlvhex2/AnswerSet.h File Reference
Answer set container: holds interpretation and information about model cost (for weak constraints). More...
#include "dlvhex2/PlatformDefinitions.h"#include "dlvhex2/fwd.h"#include "dlvhex2/Printhelpers.h"#include "dlvhex2/Interpretation.h"#include <boost/shared_ptr.hpp>
Include dependency graph for AnswerSet.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Data Structures | |
| class | AnswerSet |
| Stores a set of atoms as in an Interpretation enhanced with additional information which is necessary for encoding answer sets (such as e.g. More... | |
Typedefs | |
| typedef boost::shared_ptr < AnswerSet > | AnswerSetPtr |
Detailed Description
Answer set container: holds interpretation and information about model cost (for weak constraints).
Definition in file AnswerSet.h.
Typedef Documentation
| typedef boost::shared_ptr<AnswerSet> AnswerSetPtr |
Definition at line 141 of file AnswerSet.h.
