FinalCallback Class Reference

Callback functor after model enumeration finished or aborted. More...

#include <include/dlvhex2/PluginInterface.h>

Inheritance diagram for FinalCallback:

Public Member Functions
virtual	~FinalCallback ()
virtual void	operator() ()=0
	Method called after model enumeration finished or aborted.

---

Detailed Description

Callback functor after model enumeration finished or aborted.

Setup such callbacks in PluginInterface::setupProgramCtx Register such callbacsk in ProgramCtx::finalCallbacks

Use this, e.g., to output data accumulated over all models. (For an example see QueryPlugin.cpp.)

Definition at line 1420 of file PluginInterface.h.

---

Constructor & Destructor Documentation

virtual FinalCallback::~FinalCallback

(

)

[inline, virtual]

Definition at line 1423 of file PluginInterface.h.

---

Member Function Documentation

virtual void FinalCallback::operator()

(

)

[pure virtual]

Method called after model enumeration finished or aborted.

Implemented in TestFinalCallback.

---

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

• include/dlvhex2/PluginInterface.h