dlvhex  2.1.0
Public Member Functions | Protected Member Functions | Protected Attributes
State Class Reference

State base class. More...

#include <include/dlvhex2/State.h>

Inheritance diagram for State:
Inheritance graph
[legend]

Public Member Functions

 State (StatePtr failureState=StatePtr())
virtual ~State ()
virtual void showPlugins (ProgramCtx *)
virtual void convert (ProgramCtx *)
virtual void parse (ProgramCtx *)
virtual void moduleSyntaxCheck (ProgramCtx *)
virtual void mlpSolver (ProgramCtx *)
virtual void rewriteEDBIDB (ProgramCtx *)
virtual void safetyCheck (ProgramCtx *)
virtual void createDependencyGraph (ProgramCtx *)
virtual void optimizeEDBDependencyGraph (ProgramCtx *)
virtual void createComponentGraph (ProgramCtx *)
virtual void strongSafetyCheck (ProgramCtx *)
virtual void createEvalGraph (ProgramCtx *)
virtual void setupProgramCtx (ProgramCtx *)
virtual void evaluate (ProgramCtx *)
virtual void postProcess (ProgramCtx *)

Protected Member Functions

void changeState (ProgramCtx *, StatePtr)

Protected Attributes

StatePtr failureState

Detailed Description

State base class.

Definition at line 51 of file State.h.

Constructor & Destructor Documentation

DLVHEX_NAMESPACE_BEGIN State::State ( StatePtr  failureState = StatePtr())

Definition at line 74 of file State.cpp.

State::~State ( ) [virtual]

Definition at line 79 of file State.cpp.

Member Function Documentation

void State::changeState ( ProgramCtx *  ctx,
StatePtr  s 
) [protected]

Definition at line 94 of file State.cpp.

References ProgramCtx::changeState(), LOG, print_function(), and ProgramCtx::state.

Referenced by ConvertState::convert(), CreateComponentGraphState::createComponentGraph(), CreateDependencyGraphState::createDependencyGraph(), CreateEvalGraphState::createEvalGraph(), EvaluateState::evaluate(), MLPSolverState::mlpSolver(), ModuleSyntaxCheckState::moduleSyntaxCheck(), OptimizeEDBDependencyGraphState::optimizeEDBDependencyGraph(), ParseState::parse(), PostProcessState::postProcess(), RewriteEDBIDBState::rewriteEDBIDB(), SafetyCheckState::safetyCheck(), SetupProgramCtxState::setupProgramCtx(), ShowPluginsState::showPlugins(), and StrongSafetyCheckState::strongSafetyCheck().

virtual void State::convert ( ProgramCtx *  ) [virtual]

Reimplemented in ConvertState.

virtual void State::createComponentGraph ( ProgramCtx *  ) [virtual]

Reimplemented in CreateComponentGraphState.

virtual void State::createDependencyGraph ( ProgramCtx *  ) [virtual]

Reimplemented in CreateDependencyGraphState.

virtual void State::createEvalGraph ( ProgramCtx *  ) [virtual]

Reimplemented in CreateEvalGraphState.

virtual void State::evaluate ( ProgramCtx *  ) [virtual]

Reimplemented in EvaluateState.

virtual void State::mlpSolver ( ProgramCtx *  ) [virtual]

Reimplemented in MLPSolverState.

virtual void State::moduleSyntaxCheck ( ProgramCtx *  ) [virtual]

Reimplemented in ModuleSyntaxCheckState.

virtual void State::optimizeEDBDependencyGraph ( ProgramCtx *  ) [virtual]

Reimplemented in OptimizeEDBDependencyGraphState.

virtual void State::parse ( ProgramCtx *  ) [virtual]

Reimplemented in ParseState.

virtual void State::postProcess ( ProgramCtx *  ) [virtual]

Reimplemented in PostProcessState.

virtual void State::rewriteEDBIDB ( ProgramCtx *  ) [virtual]

Reimplemented in RewriteEDBIDBState.

virtual void State::safetyCheck ( ProgramCtx *  ) [virtual]

Reimplemented in SafetyCheckState.

virtual void State::setupProgramCtx ( ProgramCtx *  ) [virtual]

Reimplemented in SetupProgramCtxState.

virtual void State::showPlugins ( ProgramCtx *  ) [virtual]

Reimplemented in ShowPluginsState.

virtual void State::strongSafetyCheck ( ProgramCtx *  ) [virtual]

Reimplemented in StrongSafetyCheckState.

Field Documentation

StatePtr State::failureState [protected]

Definition at line 78 of file State.h.

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