dlvhex  2.5.0
ExternalAtomEvaluationHeuristicsInputComplete Class Reference

Evaluates always when the heuristics is asked and the input to the external atom is complete. More...

#include <include/dlvhex2/ExternalAtomEvaluationHeuristics.h>

Inheritance diagram for ExternalAtomEvaluationHeuristicsInputComplete:
Collaboration diagram for ExternalAtomEvaluationHeuristicsInputComplete:

Public Member Functions

 ExternalAtomEvaluationHeuristicsInputComplete (RegistryPtr reg)
virtual bool doEvaluate (const ExternalAtom &eatom, InterpretationConstPtr eatomMask, InterpretationConstPtr programMask, InterpretationConstPtr partialAssignment, InterpretationConstPtr assigned, InterpretationConstPtr changed)
 Decides if the reasoner shall evaluate a given external atom at this point.

Detailed Description

Evaluates always when the heuristics is asked and the input to the external atom is complete.

Definition at line 99 of file ExternalAtomEvaluationHeuristics.h.


Constructor & Destructor Documentation


Member Function Documentation

Decides if the reasoner shall evaluate a given external atom at this point.

Parameters:
eatomThe external atom in question.
eatomMaskMask with all atoms relevant for this external atom.
programMaskAll atoms in the program.
partialAssignmentThe current (partial) interpretation.
assignedThe current set of assigned atoms; if 0, then the interpretation is complete.
changedThe set of atoms with a (possibly) modified truth value since the last call; if NULL then all atoms have (possibly) changed.
Returns:
True if the heuristics suggests to evaluate the external atom, otherwise false.

Implements ExternalAtomEvaluationHeuristics.

Definition at line 108 of file ExternalAtomEvaluationHeuristics.cpp.

References ExternalAtom::auxInputPredicate, ExternalAtom::getAuxInputMask(), ExternalAtom::getPredicateInputMask(), ID_FAIL(), and ExternalAtom::updatePredicateInputMask().


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