include/dlvhex2/UnfoundedSetCheckHeuristicsInterface.h File Reference
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>
Include dependency graph for UnfoundedSetCheckHeuristicsInterface.h:
This graph shows which files directly or indirectly include this file:
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 |
Detailed Description
Base class for unfounded set checks in genuine G&C model generators.
Definition in file UnfoundedSetCheckHeuristicsInterface.h.
Typedef Documentation
| 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.
