SetupProgramCtxState Class Reference

See State::showPlugins. More...

#include <include/dlvhex2/State.h>

Inheritance diagram for SetupProgramCtxState:

Collaboration diagram for SetupProgramCtxState:

Public Member Functions
	SetupProgramCtxState ()
	Constructor.
virtual void	setupProgramCtx (ProgramCtx *)
	Initialized ctx.

---

Detailed Description

See State::showPlugins.

Definition at line 239 of file State.h.

---

Constructor & Destructor Documentation

SetupProgramCtxState::SetupProgramCtxState

(

)

Constructor.

---

Member Function Documentation

void SetupProgramCtxState::setupProgramCtx

(

ProgramCtx *

ctx

)

[virtual]

Initialized ctx.

Parameters:

ctx	ProgramCtx to initialize.

Reimplemented from State.

Definition at line 630 of file State.cpp.

References ProgramCtx::benchmarksToSnapshotAtFirstModel, State::changeState(), ProgramCtx::config, DLVHEX_BENCHMARK_REGISTER_AND_SCOPE, Configuration::getOption(), ProgramCtx::modelCallbacks, ProgramCtx::registry(), and ProgramCtx::setupByPlugins().

---

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

• include/dlvhex2/State.h
• src/State.cpp