Public Member Functions | |
| BenignCycleChecker (LiberalSafetyChecker &lsc, std::set< LiberalSafetyChecker::Node > &cyclicAttributes) | |
| void | run () |
| The run method is iteratively called and shall add * bound variables using lsc.addBoundedVariable * variables bound by externals using lsc.addExternallyBoundedVariable * de-safe attributes using lsc.addDomainExpansionSafeAttribute. | |
Private Member Functions | |
| void | identifyBenignCycles () |
| void | computeCyclicAttributes () |
Private Attributes | |
| std::set < LiberalSafetyChecker::Node > & | cyclicAttributes |
Detailed Description
Definition at line 229 of file LiberalSafetyChecker.cpp.
Constructor & Destructor Documentation
| DLVHEX_NAMESPACE_BEGIN::BenignCycleChecker::BenignCycleChecker | ( | LiberalSafetyChecker & | lsc, |
| std::set< LiberalSafetyChecker::Node > & | cyclicAttributes | ||
| ) | [inline] |
Definition at line 325 of file LiberalSafetyChecker.cpp.
Member Function Documentation
| void DLVHEX_NAMESPACE_BEGIN::BenignCycleChecker::computeCyclicAttributes | ( | ) | [inline, private] |
Definition at line 291 of file LiberalSafetyChecker.cpp.
References DBGLOG, LiberalSafetyChecker::Attribute::External, LiberalSafetyChecker::Attribute::input, LiberalSafetyChecker::Attribute::predicate, and LiberalSafetyChecker::Attribute::type.
| void DLVHEX_NAMESPACE_BEGIN::BenignCycleChecker::identifyBenignCycles | ( | ) | [inline, private] |
Definition at line 234 of file LiberalSafetyChecker.cpp.
References LiberalSafetyChecker::Attribute::argIndex, DBGLOG, LiberalSafetyChecker::Attribute::eatomID, LiberalSafetyChecker::Attribute::External, ExtSourceProperties::hasWellorderingNatural(), ExtSourceProperties::hasWellorderingStrlen(), LiberalSafetyChecker::Attribute::input, LiberalSafetyChecker::Attribute::ruleID, Atom::tuple, and LiberalSafetyChecker::Attribute::type.
| void DLVHEX_NAMESPACE_BEGIN::BenignCycleChecker::run | ( | ) | [inline, virtual] |
The run method is iteratively called and shall add * bound variables using lsc.addBoundedVariable * variables bound by externals using lsc.addExternallyBoundedVariable * de-safe attributes using lsc.addDomainExpansionSafeAttribute.
Implements LiberalSafetyPlugin.
Definition at line 327 of file LiberalSafetyChecker.cpp.
References DBGLOG.
Field Documentation
std::set<LiberalSafetyChecker::Node>& DLVHEX_NAMESPACE_BEGIN::BenignCycleChecker::cyclicAttributes [private] |
Definition at line 232 of file LiberalSafetyChecker.cpp.
The documentation for this class was generated from the following file:
