dlvhex  2.5.0
Public Member Functions | Data Fields
ProgramCtx::SubprogramAnswerSetCallback Class Reference

Class for subprogram handling. More...

#include <include/dlvhex2/ProgramCtx.h>

Inheritance diagram for ProgramCtx::SubprogramAnswerSetCallback:
Inheritance graph
[legend]
Collaboration diagram for ProgramCtx::SubprogramAnswerSetCallback:
Collaboration graph
[legend]

Public Member Functions

virtual bool operator() (AnswerSetPtr model)
 Is called when a new model is found.
virtual ~SubprogramAnswerSetCallback ()
 Destructor.

Data Fields

std::vector< InterpretationPtr > answersets
 Container for the answer sets of the subprogram.

Detailed Description

Class for subprogram handling.

Definition at line 323 of file ProgramCtx.h.

Constructor & Destructor Documentation

ProgramCtx::SubprogramAnswerSetCallback::~SubprogramAnswerSetCallback ( ) [virtual]

Destructor.

Definition at line 333 of file ProgramCtx.cpp.

Member Function Documentation

bool ProgramCtx::SubprogramAnswerSetCallback::operator() ( AnswerSetPtr  model) [virtual]

Is called when a new model is found.

Parameters:
modelCurrently found model.

Implements ModelCallback.

Definition at line 326 of file ProgramCtx.cpp.

References answersets.

Field Documentation

std::vector<InterpretationPtr> ProgramCtx::SubprogramAnswerSetCallback::answersets

Container for the answer sets of the subprogram.

Definition at line 327 of file ProgramCtx.h.

Referenced by ProgramCtx::evaluateSubprogram(), and operator()().

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