Public Member Functions | |
| FiniteFiberChecker (LiberalSafetyChecker &lsc) | |
| 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 Attributes | |
| bool | firstRun |
Detailed Description
Definition at line 135 of file LiberalSafetyChecker.cpp.
Constructor & Destructor Documentation
| DLVHEX_NAMESPACE_BEGIN::FiniteFiberChecker::FiniteFiberChecker | ( | LiberalSafetyChecker & | lsc | ) | [inline] |
Definition at line 140 of file LiberalSafetyChecker.cpp.
Member Function Documentation
| void DLVHEX_NAMESPACE_BEGIN::FiniteFiberChecker::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 144 of file LiberalSafetyChecker.cpp.
References Rule::body, DBGLOG, ExternalAtom::getExtSourceProperties(), ExtSourceProperties::hasFiniteFiber(), ExternalAtom::inputs, ID::isAggregateAtom(), ID::isBuiltinAtom(), ID::isExternalAtom(), ID::isNaf(), ID::TERM_BUILTIN_EQ, ID::TERM_BUILTIN_INT, and Atom::tuple.
Field Documentation
bool DLVHEX_NAMESPACE_BEGIN::FiniteFiberChecker::firstRun [private] |
Definition at line 138 of file LiberalSafetyChecker.cpp.
The documentation for this class was generated from the following file:
