dlvhex  2.5.0
Public Member Functions
OptimizeEDBDependencyGraphState Class Reference

See State::showPlugins. More...

#include <include/dlvhex2/State.h>

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

Public Member Functions

 OptimizeEDBDependencyGraphState ()
virtual void optimizeEDBDependencyGraph (ProgramCtx *)
 Optimized the input using PluginInterface::PluginOptimizer.

Detailed Description

See State::showPlugins.

Definition at line 204 of file State.h.

Constructor & Destructor Documentation

OptimizeEDBDependencyGraphState::OptimizeEDBDependencyGraphState ( )

Member Function Documentation

void OptimizeEDBDependencyGraphState::optimizeEDBDependencyGraph ( ProgramCtx *  ctx) [virtual]

Optimized the input using PluginInterface::PluginOptimizer.

Parameters:
ctxProgramCtx.

Reimplemented from State.

Definition at line 465 of file State.cpp.

References State::changeState(), ProgramCtx::config, ProgramCtx::depgraph, DLVHEX_BENCHMARK_REGISTER_AND_SCOPE, ProgramCtx::edb, Configuration::getOption(), Configuration::getStringOption(), LOG, and ProgramCtx::pluginContainer().

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