dlvhex  2.5.0
Public Member Functions
StrongSafetyChecker Class Reference

Strong safety checker class. More...

#include <include/dlvhex2/SafetyChecker.h>

Inheritance diagram for StrongSafetyChecker:
Inheritance graph
[legend]
Collaboration diagram for StrongSafetyChecker:
Collaboration graph
[legend]

Public Member Functions

 StrongSafetyChecker (const ProgramCtx &ctx)
 Constructor.
virtual ~StrongSafetyChecker ()
 Destructor.
virtual void operator() () const throw (SyntaxError)
 operator() does the safety check.

Detailed Description

Strong safety checker class.

Definition at line 91 of file SafetyChecker.h.

Constructor & Destructor Documentation

StrongSafetyChecker::StrongSafetyChecker ( const ProgramCtx &  ctx)

Constructor.

Parameters:
ctxSee SafetyCheckerBase::ctx.

Definition at line 566 of file SafetyChecker.cpp.

StrongSafetyChecker::~StrongSafetyChecker ( ) [virtual]

Destructor.

Definition at line 572 of file SafetyChecker.cpp.

Member Function Documentation

void StrongSafetyChecker::operator() ( ) const throw (SyntaxError) [virtual]

operator() does the safety check.

Implements SafetyCheckerBase.

Definition at line 597 of file SafetyChecker.cpp.

References Rule::body, ProgramCtx::compgraph, ProgramCtx::config, SafetyCheckerBase::ctx, DBGLOG, ID::doesRuleContainExtatoms(), Configuration::getOption(), Rule::head, ComponentGraph::ComponentInfo::innerEatoms, ComponentGraph::ComponentInfo::innerRules, ID::isAggregateAtom(), ID::isBuiltinAtom(), ID::isExternalAtom(), ID::isNaf(), ID::isOrdinaryAtom(), LOG, LOG_SCOPE, ProgramCtx::registry(), Atom::tuple, OrdinaryAtom::unifiesWith(), and WARNING().

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