PostProcessState Class Reference

#include <include/dlvhex2/State.h>

Inheritance diagram for PostProcessState:

Collaboration diagram for PostProcessState:

Public Member Functions
	PostProcessState ()
virtual void	postProcess (ProgramCtx *)

---

Detailed Description

Definition at line 179 of file State.h.

---

Constructor & Destructor Documentation

PostProcessState::PostProcessState

(

)

---

Member Function Documentation

void PostProcessState::postProcess

(

ProgramCtx *

ctx

)

[virtual]

Reimplemented from State.

Definition at line 1065 of file State.cpp.

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

---

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

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