Base class and concrete classes with heuristics for unfounded set checks in genuine G&C model generators. More...

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

Include dependency graph for UnfoundedSetCheckHeuristics.cpp:

Go to the source code of this file.

Detailed Description

Base class and concrete classes with heuristics for unfounded set checks in genuine G&C model generators.

Author:: Christoph Redl

Definition in file UnfoundedSetCheckHeuristics.cpp.