dlvhex
2.5.0
|
Public Member Functions | |
TestFinalCallback (ProgramCtx &ctx) | |
virtual void | operator() () |
Method called after model enumeration finished or aborted. | |
Private Attributes | |
ProgramCtx & | ctx |
bool | first |
Definition at line 2287 of file TestPlugin.cpp.
TestFinalCallback::TestFinalCallback | ( | ProgramCtx & | ctx | ) | [inline] |
Definition at line 2291 of file TestPlugin.cpp.
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().
ProgramCtx& TestFinalCallback::ctx [private] |
Definition at line 2313 of file TestPlugin.cpp.
bool TestFinalCallback::first [private] |
Definition at line 2314 of file TestPlugin.cpp.