src/AnswerSet.cpp File Reference

AnswerSet class. More...

#include "dlvhex2/AnswerSet.h"
#include "dlvhex2/Benchmarking.h"

Include dependency graph for AnswerSet.cpp:

Go to the source code of this file.

---

Detailed Description

AnswerSet class.

Author:

Roman Schindlauer, Peter Schller

Definition in file AnswerSet.cpp.