dlvhex  2.5.0
Public Member Functions | Protected Attributes
BaseModelGenerator::VerifyExternalAnswerAgainstPosNegGuessInterpretationCB Struct Reference

Callback for checking whether external computations reflect guesses of external atom truth values. More...

#include <include/dlvhex2/BaseModelGenerator.h>

Inheritance diagram for BaseModelGenerator::VerifyExternalAnswerAgainstPosNegGuessInterpretationCB:
Inheritance graph
[legend]
Collaboration diagram for BaseModelGenerator::VerifyExternalAnswerAgainstPosNegGuessInterpretationCB:
Collaboration graph
[legend]

Public Member Functions

 VerifyExternalAnswerAgainstPosNegGuessInterpretationCB (InterpretationPtr guess_pos, InterpretationPtr guess_neg)
 Constructor.
virtual ~VerifyExternalAnswerAgainstPosNegGuessInterpretationCB ()
 Destructor.
virtual bool eatom (const ExternalAtom &eatom)
 Is called when the next eatom is encountered.
virtual bool input (const Tuple &input)
 Is called when the next input tuple is encountered.
virtual bool output (const Tuple &output)
 Is called when the next output tuple is encountered.

Protected Attributes

RegistryPtr reg
 RegistryPtr.
InterpretationPtr guess_pos
 See constructor.
InterpretationPtr guess_neg
 See constructor.
ID pospred
 Cache of positive replacement predicate.
ID negpred
 Cache of negative replacement predicate.
OrdinaryAtom replacement
 Current replacement atom (temporary storage).

Detailed Description

Callback for checking whether external computations reflect guesses of external atom truth values.

Definition at line 186 of file BaseModelGenerator.h.

Constructor & Destructor Documentation

BaseModelGenerator::VerifyExternalAnswerAgainstPosNegGuessInterpretationCB::VerifyExternalAnswerAgainstPosNegGuessInterpretationCB ( InterpretationPtr  guess_pos,
InterpretationPtr  guess_neg 
)

Constructor.

Parameters:
guess_posSet of guessed positive replacement atoms.
guess_negSet of guessed negative replacement atoms.

Definition at line 210 of file BaseModelGenerator.cpp.

References guess_neg, and guess_pos.

virtual BaseModelGenerator::VerifyExternalAnswerAgainstPosNegGuessInterpretationCB::~VerifyExternalAnswerAgainstPosNegGuessInterpretationCB ( ) [inline, virtual]

Destructor.

Definition at line 199 of file BaseModelGenerator.h.

Member Function Documentation

bool BaseModelGenerator::VerifyExternalAnswerAgainstPosNegGuessInterpretationCB::eatom ( const ExternalAtom &  eatom) [virtual]

Is called when the next eatom is encountered.

Parameters:
eatomThe external atom currently encountered.
Returns:
True if enumeration shall be continued als false to abort.

Implements BaseModelGenerator::ExternalAnswerTupleCallback.

Definition at line 224 of file BaseModelGenerator.cpp.

References ExternalAtom::predicate.

bool BaseModelGenerator::VerifyExternalAnswerAgainstPosNegGuessInterpretationCB::input ( const Tuple &  input) [virtual]

Is called when the next input tuple is encountered.

Preceded by eatom(...).

Parameters:
inputThe input tuple currently encountered.
Returns:
True if enumeration shall be continued als false to abort.

Implements BaseModelGenerator::ExternalAnswerTupleCallback.

Definition at line 239 of file BaseModelGenerator.cpp.

bool BaseModelGenerator::VerifyExternalAnswerAgainstPosNegGuessInterpretationCB::output ( const Tuple &  output) [virtual]

Is called when the next output tuple is encountered.

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

Parameters:
eatomThe output tuple currently encountered.
Returns:
True if enumeration shall be continued als false to abort.

Implements BaseModelGenerator::ExternalAnswerTupleCallback.

Definition at line 257 of file BaseModelGenerator.cpp.

References ID::address, DBGLOG, and ID_FAIL().

Field Documentation

InterpretationPtr BaseModelGenerator::VerifyExternalAnswerAgainstPosNegGuessInterpretationCB::guess_neg [protected]

See constructor.

Definition at line 212 of file BaseModelGenerator.h.

Referenced by VerifyExternalAnswerAgainstPosNegGuessInterpretationCB().

InterpretationPtr BaseModelGenerator::VerifyExternalAnswerAgainstPosNegGuessInterpretationCB::guess_pos [protected]

See constructor.

Definition at line 210 of file BaseModelGenerator.h.

Referenced by VerifyExternalAnswerAgainstPosNegGuessInterpretationCB().

ID BaseModelGenerator::VerifyExternalAnswerAgainstPosNegGuessInterpretationCB::negpred [protected]

Cache of negative replacement predicate.

Definition at line 216 of file BaseModelGenerator.h.

ID BaseModelGenerator::VerifyExternalAnswerAgainstPosNegGuessInterpretationCB::pospred [protected]

Cache of positive replacement predicate.

Definition at line 214 of file BaseModelGenerator.h.

RegistryPtr BaseModelGenerator::VerifyExternalAnswerAgainstPosNegGuessInterpretationCB::reg [protected]

RegistryPtr.

Definition at line 208 of file BaseModelGenerator.h.

OrdinaryAtom BaseModelGenerator::VerifyExternalAnswerAgainstPosNegGuessInterpretationCB::replacement [protected]

Current replacement atom (temporary storage).

Definition at line 218 of file BaseModelGenerator.h.

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