dlvhex  2.5.0
TestFinalCallback Class Reference
Inheritance diagram for TestFinalCallback:
Collaboration diagram for TestFinalCallback:

Public Member Functions

 TestFinalCallback (ProgramCtx &ctx)
virtual void operator() ()
 Method called after model enumeration finished or aborted.

Private Attributes

ProgramCtxctx
bool first

Detailed Description

Definition at line 2287 of file TestPlugin.cpp.


Constructor & Destructor Documentation

Definition at line 2291 of file TestPlugin.cpp.


Member Function Documentation

virtual void TestFinalCallback::operator() ( ) [inline, virtual]

Method called after model enumeration finished or aborted.

Implements FinalCallback.

Definition at line 2297 of file TestPlugin.cpp.

References ProgramCtx::config, and Configuration::setOption().


Field Documentation

Definition at line 2313 of file TestPlugin.cpp.

bool TestFinalCallback::first [private]

Definition at line 2314 of file TestPlugin.cpp.


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