DLVHEX_NAMESPACE_BEGIN::FinitenessChecker Class Reference

Inheritance diagram for DLVHEX_NAMESPACE_BEGIN::FinitenessChecker:

Collaboration diagram for DLVHEX_NAMESPACE_BEGIN::FinitenessChecker:

Public Member Functions
	FinitenessChecker (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	dorun

---

Detailed Description

Definition at line 66 of file LiberalSafetyChecker.cpp.

---

Constructor & Destructor Documentation

DLVHEX_NAMESPACE_BEGIN::FinitenessChecker::FinitenessChecker

(

LiberalSafetyChecker &

lsc

)

[inline]

Definition at line 71 of file LiberalSafetyChecker.cpp.

---

Member Function Documentation

void DLVHEX_NAMESPACE_BEGIN::FinitenessChecker::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 75 of file LiberalSafetyChecker.cpp.

References Rule::body, PluginAtom::CONSTANT, DBGLOG, ExternalAtom::getExtSourceProperties(), PluginAtom::getInputType(), ExtSourceProperties::hasFiniteDomain(), ExternalAtom::inputs, ID::isExternalAtom(), ID::isNaf(), ExternalAtom::pluginAtom, ExtSourceProperties::relativeFiniteOutputDomain, and Atom::tuple.

---

Field Documentation

bool DLVHEX_NAMESPACE_BEGIN::FinitenessChecker::dorun [private]

Definition at line 69 of file LiberalSafetyChecker.cpp.

---

The documentation for this class was generated from the following file:

• src/LiberalSafetyChecker.cpp