include/dlvhex2/UnfoundedSetCheckHeuristics.h File Reference

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

#include "dlvhex2/PlatformDefinitions.h"
#include "dlvhex2/fwd.h"
#include "dlvhex2/ID.h"
#include "dlvhex2/Registry.h"
#include "dlvhex2/AnnotatedGroundProgram.h"
#include "dlvhex2/UnfoundedSetCheckHeuristicsInterface.h"
#include <boost/unordered_map.hpp>
#include <boost/shared_ptr.hpp>

Include dependency graph for UnfoundedSetCheckHeuristics.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
class	UnfoundedSetCheckHeuristicsPost
	Contains implementers of UnfoundedSetCheckHeuristics to decide for a given (partial) assignment if a minimality check shall be performed at this point. More...
class	UnfoundedSetCheckHeuristicsPostFactory
	Factory for UnfoundedSetCheckHeuristicsPost. More...
class	UnfoundedSetCheckHeuristicsMax
	Performs UFS checks whenever deterministic reasoning cannot derive further atoms. More...
class	UnfoundedSetCheckHeuristicsMaxFactory
	Factory for UnfoundedSetCheckHeuristicsMax. More...
class	UnfoundedSetCheckHeuristicsPeriodic
	Performs UFS checks periodically. More...
class	UnfoundedSetCheckHeuristicsPeriodicFactory
	Factory for UnfoundedSetCheckHeuristicsPeriodic. More...

---

Detailed Description

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

Author:

Christoph Redl <[email protected]>

Definition in file UnfoundedSetCheckHeuristics.h.