Never evaluates when the heuristics is asked (but the reasoner will still do this whenever absolutely necessary). More...

Inheritance diagram for ExternalAtomEvaluationHeuristicsNever:

Collaboration diagram for ExternalAtomEvaluationHeuristicsNever:

Public Member Functions
	ExternalAtomEvaluationHeuristicsNever (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

Never evaluates when the heuristics is asked (but the reasoner will still do this whenever absolutely necessary).

Constructor & Destructor Documentation

ExternalAtomEvaluationHeuristicsNever::ExternalAtomEvaluationHeuristicsNever ( RegistryPtr reg )

bool ExternalAtomEvaluationHeuristicsNever::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: