dlvhex  2.5.0
Public Member Functions
CheckLiberalSafetyState Class Reference

See State::showPlugins. More...

#include <include/dlvhex2/State.h>

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

Public Member Functions

 CheckLiberalSafetyState ()
 Constructor.
virtual void checkLiberalSafety (ProgramCtx *)
 Checks liberal safety if enabled.

Detailed Description

See State::showPlugins.

Definition at line 195 of file State.h.

Constructor & Destructor Documentation

CheckLiberalSafetyState::CheckLiberalSafetyState ( )

Constructor.

Member Function Documentation

void CheckLiberalSafetyState::checkLiberalSafety ( ProgramCtx *  ctx) [virtual]

Checks liberal safety if enabled.

Parameters:
ctxProgramCtx.

Reimplemented from State.

Definition at line 409 of file State.cpp.

References State::changeState(), ProgramCtx::config, DLVHEX_BENCHMARK_REGISTER_AND_SCOPE, Configuration::getOption(), Configuration::getStringOption(), ProgramCtx::idb, ProgramCtx::liberalSafetyChecker, ProgramCtx::liberalSafetyPlugins, LOG, and ProgramCtx::registry().

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