Implements new safety criteria which may be used in place of strong safety. More...
#include "dlvhex2/LiberalSafetyChecker.h"#include "dlvhex2/Logger.h"#include "dlvhex2/Registry.h"#include "dlvhex2/ProgramCtx.h"#include "dlvhex2/SafetyChecker.h"#include "dlvhex2/Printer.h"#include "dlvhex2/Rule.h"#include "dlvhex2/Atoms.h"#include "dlvhex2/PluginInterface.h"#include "dlvhex2/GraphvizHelpers.h"#include <boost/property_map/property_map.hpp>#include <boost/foreach.hpp>#include <boost/algorithm/string/replace.hpp>#include <boost/range/join.hpp>#include <boost/graph/breadth_first_search.hpp>#include <boost/graph/visitors.hpp>#include <boost/graph/strong_components.hpp>#include <sstream>
Go to the source code of this file.
Data Structures | |
| class | DLVHEX_NAMESPACE_BEGIN::FinitenessChecker |
| class | DLVHEX_NAMESPACE_BEGIN::FiniteFiberChecker |
| class | DLVHEX_NAMESPACE_BEGIN::AggregateAndBuildinChecker |
| class | DLVHEX_NAMESPACE_BEGIN::BenignCycleChecker |
Namespaces | |
| namespace | DLVHEX_NAMESPACE_BEGIN |
for one eval unit, we transform the rules (idb) independent of input interpretations as follows: * replace all external atoms with eatom replacements | |
Functions | |
| std::size_t | hash_value (const LiberalSafetyChecker::Attribute &at) |
| std::size_t | hash_value (const LiberalSafetyChecker::VariableLocation &vl) |
Detailed Description
Implements new safety criteria which may be used in place of strong safety.
Definition in file LiberalSafetyChecker.cpp.
Function Documentation
| std::size_t hash_value | ( | const LiberalSafetyChecker::Attribute & | at | ) |
Definition at line 1199 of file LiberalSafetyChecker.cpp.
References LiberalSafetyChecker::Attribute::argIndex, LiberalSafetyChecker::Attribute::eatomID, LiberalSafetyChecker::Attribute::input, LiberalSafetyChecker::Attribute::inputList, LiberalSafetyChecker::Attribute::predicate, LiberalSafetyChecker::Attribute::ruleID, and LiberalSafetyChecker::Attribute::type.
| std::size_t hash_value | ( | const LiberalSafetyChecker::VariableLocation & | vl | ) |
Definition at line 1213 of file LiberalSafetyChecker.cpp.
