dlvhex  2.5.0
Public Member Functions
CreateEvalGraphState Class Reference

See State::showPlugins. More...

#include <include/dlvhex2/State.h>

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

Public Member Functions

 CreateEvalGraphState ()
 Constructor.
virtual void createEvalGraph (ProgramCtx *)

Detailed Description

See State::showPlugins.

Definition at line 230 of file State.h.

Constructor & Destructor Documentation

CreateEvalGraphState::CreateEvalGraphState ( )

Constructor.

Member Function Documentation

void CreateEvalGraphState::createEvalGraph ( ProgramCtx *  ctx) [virtual]

Reimplemented from State.

Definition at line 547 of file State.cpp.

References ProgramCtx::aspsoftware, State::changeState(), ProgramCtx::compgraph, ProgramCtx::config, DBGLOG, DLVHEX_BENCHMARK_REGISTER_AND_SCOPE, ProgramCtx::evalgraph, ProgramCtx::evalHeuristic, Configuration::getOption(), Configuration::getStringOption(), LOG, ProgramCtx::ufinal, and WARNING().

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