Strong safety checker class. More...
#include <include/dlvhex2/SafetyChecker.h>
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:
-
ctx See 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:
- include/dlvhex2/SafetyChecker.h
- src/SafetyChecker.cpp
