dlvhex  2.5.0
Public Member Functions
RewriteEDBIDBState Class Reference

See State::showPlugins. More...

#include <include/dlvhex2/State.h>

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

Public Member Functions

 RewriteEDBIDBState ()
 Constructor.
virtual void rewriteEDBIDB (ProgramCtx *)
 Rewrites the input using PluginInterface::PluginRewriter.

Detailed Description

See State::showPlugins.

Definition at line 168 of file State.h.

Constructor & Destructor Documentation

RewriteEDBIDBState::RewriteEDBIDBState ( )

Constructor.

Member Function Documentation

void RewriteEDBIDBState::rewriteEDBIDB ( ProgramCtx *  ctx) [virtual]

Rewrites the input using PluginInterface::PluginRewriter.

Parameters:
ctxProgramCtx.

Reimplemented from State.

Definition at line 355 of file State.cpp.

References State::changeState(), ProgramCtx::config, DBGLOG_SCOPE, DLVHEX_BENCHMARK_REGISTER_AND_SCOPE, Configuration::doVerbose(), Configuration::DUMP_REWRITTEN_PROGRAM, ProgramCtx::edb, ProgramCtx::idb, Logger::INFO, Logger::Instance(), LOG, ProgramCtx::pluginContainer(), Printer::printmany(), ProgramCtx::registry(), Logger::shallPrint(), and Logger::stream().

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