PostProcessState Class Reference

See State::showPlugins. More...

#include <include/dlvhex2/State.h>

Inheritance diagram for PostProcessState:

Collaboration diagram for PostProcessState:

Public Member Functions
	PostProcessState ()
	Constructor.
virtual void	postProcess (ProgramCtx *)
	Dumps statistics and benchmark results.

---

Detailed Description

See State::showPlugins.

Definition at line 257 of file State.h.

---

Constructor & Destructor Documentation

PostProcessState::PostProcessState

(

)

Constructor.

---

Member Function Documentation

void PostProcessState::postProcess

(

ProgramCtx *

ctx

)

[virtual]

Dumps statistics and benchmark results.

Parameters:

ctx	ProgramCtx to initialize.

Reimplemented from State.

Definition at line 1025 of file State.cpp.

References State::changeState(), ProgramCtx::config, benchmark::nestingAware::NestingAwareController::Stat::count, DBGLOG, DLVHEX_BENCHMARK_REGISTER_AND_SCOPE, benchmark::nestingAware::NestingAwareController::Stat::duration, benchmark::nestingAware::NestingAwareController::duration(), benchmark::nestingAware::NestingAwareController::getInstrumentationID(), Configuration::getOption(), benchmark::nestingAware::NestingAwareController::getStat(), benchmark::nestingAware::NestingAwareController::Instance(), ProgramCtx::modelBuilder, benchmark::nestingAware::NestingAwareController::printInSecs(), ProgramCtx::registry(), and benchmark::nestingAware::NestingAwareController::stop().

---

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

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