#include <include/dlvhex2/LiberalSafetyChecker.h>
Public Types | |
| typedef boost::shared_ptr < LiberalSafetyPlugin > | Ptr |
Public Member Functions | |
| LiberalSafetyPlugin (LiberalSafetyChecker &lsc) | |
| Copy-constructor. | |
| virtual void | run ()=0 |
| 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. | |
Protected Attributes | |
| LiberalSafetyChecker & | lsc |
| Reference to the safety checker which provides meta-information about the program. | |
Detailed Description
Definition at line 58 of file LiberalSafetyChecker.h.
Member Typedef Documentation
| typedef boost::shared_ptr<LiberalSafetyPlugin> LiberalSafetyPlugin::Ptr |
Definition at line 75 of file LiberalSafetyChecker.h.
Constructor & Destructor Documentation
| LiberalSafetyPlugin::LiberalSafetyPlugin | ( | LiberalSafetyChecker & | lsc | ) | [inline] |
Copy-constructor.
- Parameters:
-
lsc Other instance of LiberalSafetyChecker.
Definition at line 67 of file LiberalSafetyChecker.h.
Member Function Documentation
| virtual void LiberalSafetyPlugin::run | ( | ) | [pure 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.
Implemented in DLVHEX_NAMESPACE_BEGIN::BenignCycleChecker, DLVHEX_NAMESPACE_BEGIN::AggregateAndBuildinChecker, DLVHEX_NAMESPACE_BEGIN::FiniteFiberChecker, and DLVHEX_NAMESPACE_BEGIN::FinitenessChecker.
Field Documentation
LiberalSafetyChecker& LiberalSafetyPlugin::lsc [protected] |
Reference to the safety checker which provides meta-information about the program.
Definition at line 62 of file LiberalSafetyChecker.h.
The documentation for this class was generated from the following file:
- include/dlvhex2/LiberalSafetyChecker.h
