dlvhex  2.5.0
Public Member Functions | Private Attributes
DLVHEX_NAMESPACE_BEGIN::AggregateAndBuildinChecker Class Reference
Inheritance diagram for DLVHEX_NAMESPACE_BEGIN::AggregateAndBuildinChecker:
Inheritance graph
[legend]
Collaboration diagram for DLVHEX_NAMESPACE_BEGIN::AggregateAndBuildinChecker:
Collaboration graph
[legend]

Public Member Functions

 AggregateAndBuildinChecker (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 191 of file LiberalSafetyChecker.cpp.

Constructor & Destructor Documentation

DLVHEX_NAMESPACE_BEGIN::AggregateAndBuildinChecker::AggregateAndBuildinChecker ( LiberalSafetyChecker &  lsc) [inline]

Definition at line 196 of file LiberalSafetyChecker.cpp.

Member Function Documentation

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

References Rule::body, ID::isAggregateAtom(), ID::isBuiltinAtom(), ID::isNaf(), ID::TERM_BUILTIN_EQ, ID::TERM_BUILTIN_INT, and Atom::tuple.

Field Documentation

bool DLVHEX_NAMESPACE_BEGIN::AggregateAndBuildinChecker::firstRun [private]

Definition at line 194 of file LiberalSafetyChecker.cpp.

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