Base class for unfounded set checks in genuine G&C model generators. More...

#include "dlvhex2/UnfoundedSetCheckHeuristicsInterface.h"
#include "dlvhex2/Interpretation.h"
#include "dlvhex2/Printer.h"
#include <boost/foreach.hpp>

Include dependency graph for UnfoundedSetCheckHeuristicsInterface.cpp:

Go to the source code of this file.

Detailed Description

Base class for unfounded set checks in genuine G&C model generators.

Author:: Christoph Redl

Definition in file UnfoundedSetCheckHeuristicsInterface.cpp.