dlvhex
2.5.0
|
Evaluates always when the heuristics is asked and the input to the external atom is complete. More...
#include <include/dlvhex2/ExternalAtomEvaluationHeuristics.h>
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. |
Evaluates always when the heuristics is asked and the input to the external atom is complete.
Definition at line 99 of file ExternalAtomEvaluationHeuristics.h.
ExternalAtomEvaluationHeuristicsInputComplete::ExternalAtomEvaluationHeuristicsInputComplete | ( | RegistryPtr | reg | ) |
Definition at line 103 of file ExternalAtomEvaluationHeuristics.cpp.
bool ExternalAtomEvaluationHeuristicsInputComplete::doEvaluate | ( | const ExternalAtom & | eatom, |
InterpretationConstPtr | eatomMask, | ||
InterpretationConstPtr | programMask, | ||
InterpretationConstPtr | partialAssignment, | ||
InterpretationConstPtr | assigned, | ||
InterpretationConstPtr | changed | ||
) | [virtual] |
Decides if the reasoner shall evaluate a given external atom at this point.
eatom | The external atom in question. |
eatomMask | Mask with all atoms relevant for this external atom. |
programMask | All atoms in the program. |
partialAssignment | The current (partial) interpretation. |
assigned | The current set of assigned atoms; if 0, then the interpretation is complete. |
changed | The set of atoms with a (possibly) modified truth value since the last call; if NULL then all atoms have (possibly) changed. |
Implements ExternalAtomEvaluationHeuristics.
Definition at line 108 of file ExternalAtomEvaluationHeuristics.cpp.
References ExternalAtom::auxInputPredicate, ExternalAtom::getAuxInputMask(), ExternalAtom::getPredicateInputMask(), ID_FAIL(), and ExternalAtom::updatePredicateInputMask().