dlvhex  2.5.0
Public Member Functions
EvaluateState Class Reference

See State::showPlugins. More...

#include <include/dlvhex2/State.h>

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

Public Member Functions

 EvaluateState ()
 Constructor.
virtual void evaluate (ProgramCtx *)
 Evaluates the HEX-program.

Detailed Description

See State::showPlugins.

Definition at line 248 of file State.h.

Constructor & Destructor Documentation

EvaluateState::EvaluateState ( )

Constructor.

Member Function Documentation

void EvaluateState::evaluate ( ProgramCtx *  ctx) [virtual]

Evaluates the HEX-program.

Parameters:
ctxProgramCtx to initialize.

Reimplemented from State.

Definition at line 975 of file State.cpp.

References State::changeState(), ProgramCtx::config, DBGLOG, ProgramCtx::finalCallbacks, Configuration::getOption(), LOG, printptr(), and Configuration::setOption().

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