dlvhex  2.5.0
Public Member Functions
ConvertState Class Reference

See State::showPlugins. More...

#include <include/dlvhex2/State.h>

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

Public Member Functions

 ConvertState ()
 Constructor.
virtual void convert (ProgramCtx *)
 Converts the input using PluginInterface::PluginConverter.

Detailed Description

See State::showPlugins.

Definition at line 132 of file State.h.

Constructor & Destructor Documentation

ConvertState::ConvertState ( )

Constructor.

Member Function Documentation

void ConvertState::convert ( ProgramCtx *  ctx) [virtual]

Converts the input using PluginInterface::PluginConverter.

Parameters:
ctxProgramCtx.

Reimplemented from State.

Definition at line 177 of file State.cpp.

References State::changeState(), ProgramCtx::config, DBGLOG, DLVHEX_BENCHMARK_REGISTER_AND_SCOPE, Configuration::doVerbose(), Configuration::DUMP_CONVERTED_PROGRAM, Configuration::getStringOption(), ProgramCtx::inputProvider, LOG, ProgramCtx::pluginContainer(), Configuration::setStringOption(), and WARNING().

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