include/dlvhex2/UnfoundedSetChecker.h File Reference
Unfounded set checker for programs with disjunctions and external atoms. More...
#include "dlvhex2/PlatformDefinitions.h"#include "dlvhex2/fwd.h"#include "dlvhex2/BaseModelGenerator.h"#include "dlvhex2/AnnotatedGroundProgram.h"#include "dlvhex2/ExternalAtomVerificationTree.h"#include <boost/unordered_map.hpp>#include <boost/graph/graph_traits.hpp>#include <boost/graph/adjacency_list.hpp>#include <boost/shared_ptr.hpp>
Include dependency graph for UnfoundedSetChecker.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Data Structures | |
| class | UnfoundedSetChecker |
| Unfounded set checker for HEX programs (with external atoms). More... | |
| struct | UnfoundedSetChecker::UnfoundedSetVerificationStatus |
| Defines data structures used for verification of UFS candidates. More... | |
| class | EncodingBasedUnfoundedSetChecker |
| class | AssumptionBasedUnfoundedSetChecker |
| class | UnfoundedSetCheckerManager |
| Creates independent unfounded set checkers for all components of a program and automatically calls them appropriately. More... | |
Typedefs | |
| typedef UnfoundedSetChecker::Ptr | UnfoundedSetCheckerPtr |
| typedef UnfoundedSetChecker::ConstPtr | UnfoundedSetCheckerConstPtr |
| typedef UnfoundedSetCheckerManager::Ptr | UnfoundedSetCheckerManagerPtr |
Detailed Description
Unfounded set checker for programs with disjunctions and external atoms.
Definition in file UnfoundedSetChecker.h.
Typedef Documentation
Definition at line 261 of file UnfoundedSetChecker.h.
Definition at line 742 of file UnfoundedSetChecker.h.
Definition at line 260 of file UnfoundedSetChecker.h.
