BaseModelGenerator::ExternalAnswerTupleCallback Struct Reference

Base class for callback functions for handling external atom answer tuples. More...

#include <include/dlvhex2/BaseModelGenerator.h>

Inheritance diagram for BaseModelGenerator::ExternalAnswerTupleCallback:

Public Member Functions
virtual	~ExternalAnswerTupleCallback ()
	Destructor.
virtual bool	eatom (const ExternalAtom &eatom)=0
	Is called when the next eatom is encountered.
virtual bool	input (const Tuple &input)=0
	Is called when the next input tuple is encountered.
virtual bool	output (const Tuple &output)=0
	Is called when the next output tuple is encountered.

---

Detailed Description

Base class for callback functions for handling external atom answer tuples.

Definition at line 129 of file BaseModelGenerator.h.

---

Constructor & Destructor Documentation

BaseModelGenerator::ExternalAnswerTupleCallback::~ExternalAnswerTupleCallback

(

)

[virtual]

Destructor.

Definition at line 108 of file BaseModelGenerator.cpp.

---

Member Function Documentation

virtual bool BaseModelGenerator::ExternalAnswerTupleCallback::eatom

(

const ExternalAtom &

eatom

)

[pure virtual]

Is called when the next eatom is encountered.

Parameters:

eatom

The external atom currently encountered.

Returns:

True if enumeration shall be continued als false to abort.

Implemented in BaseModelGenerator::IntegrateExternalAnswerIntoInterpretationCB, BaseModelGenerator::VerifyExternalAtomCB, BaseModelGenerator::VerifyExternalAnswerAgainstPosNegGuessInterpretationCB, and BaseModelGenerator::ExternalAnswerTupleMultiCallback.

Referenced by BaseModelGenerator::ExternalAnswerTupleMultiCallback::eatom(), and BaseModelGenerator::evaluateExternalAtom().

virtual bool BaseModelGenerator::ExternalAnswerTupleCallback::input

(

const Tuple &

input

)

[pure virtual]

Is called when the next input tuple is encountered.

Preceded by eatom(...).

Parameters:

input

The input tuple currently encountered.

Returns:

True if enumeration shall be continued als false to abort.

Implemented in BaseModelGenerator::IntegrateExternalAnswerIntoInterpretationCB, BaseModelGenerator::VerifyExternalAtomCB, BaseModelGenerator::VerifyExternalAnswerAgainstPosNegGuessInterpretationCB, and BaseModelGenerator::ExternalAnswerTupleMultiCallback.

Referenced by BaseModelGenerator::evaluateExternalAtomQuery(), and BaseModelGenerator::ExternalAnswerTupleMultiCallback::input().

virtual bool BaseModelGenerator::ExternalAnswerTupleCallback::output

(

const Tuple &

output

)

[pure virtual]

Is called when the next output tuple is encountered.

Preceded by eatom(...) even for empty input tuples.

Parameters:

eatom

The output tuple currently encountered.

Returns:

True if enumeration shall be continued als false to abort.

Implemented in BaseModelGenerator::IntegrateExternalAnswerIntoInterpretationCB, BaseModelGenerator::VerifyExternalAtomCB, BaseModelGenerator::VerifyExternalAnswerAgainstPosNegGuessInterpretationCB, and BaseModelGenerator::ExternalAnswerTupleMultiCallback.

Referenced by BaseModelGenerator::evaluateExternalAtomQuery(), and BaseModelGenerator::ExternalAnswerTupleMultiCallback::output().

---

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

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