Evaluates always when the heuristics is asked and all atoms relevant for this external atom are assigned. More...

Inheritance diagram for ExternalAtomEvaluationHeuristicsEAComplete:

Collaboration diagram for ExternalAtomEvaluationHeuristicsEAComplete:

Public Member Functions
	ExternalAtomEvaluationHeuristicsEAComplete (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 all atoms relevant for this external atom are assigned.

Constructor & Destructor Documentation

ExternalAtomEvaluationHeuristicsEAComplete::ExternalAtomEvaluationHeuristicsEAComplete ( RegistryPtr reg )

bool ExternalAtomEvaluationHeuristicsEAComplete::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.

Parameters:

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.

Returns:: True if the heuristics suggests to evaluate the external atom, otherwise false.

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