dlvhex
2.5.0
|
Base class 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 <boost/unordered_map.hpp>
#include <boost/shared_ptr.hpp>
Go to the source code of this file.
Data Structures | |
class | UnfoundedSetCheckHeuristics |
Decides when to do an unfounded set check (over partial interpretations) More... | |
class | UnfoundedSetCheckHeuristicsFactory |
Factory for UnfoundedSetCheckHeuristics. More... | |
Typedefs | |
typedef boost::shared_ptr < UnfoundedSetCheckHeuristics > | UnfoundedSetCheckHeuristicsPtr |
typedef boost::shared_ptr < UnfoundedSetCheckHeuristicsFactory > | UnfoundedSetCheckHeuristicsFactoryPtr |
Base class for unfounded set checks in genuine G&C model generators.
Definition in file UnfoundedSetCheckHeuristicsInterface.h.
typedef boost::shared_ptr<UnfoundedSetCheckHeuristicsFactory> UnfoundedSetCheckHeuristicsFactoryPtr |
Definition at line 153 of file UnfoundedSetCheckHeuristicsInterface.h.
typedef boost::shared_ptr<UnfoundedSetCheckHeuristics> UnfoundedSetCheckHeuristicsPtr |
Definition at line 132 of file UnfoundedSetCheckHeuristicsInterface.h.