Inheritance diagram for TestSetMinusAtom::EAHeuristics:

Collaboration diagram for TestSetMinusAtom::EAHeuristics:

Public Member Functions
	EAHeuristics (RegistryPtr reg)
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

Definition at line 914 of file TestPlugin.cpp.

Constructor & Destructor Documentation

TestSetMinusAtom::EAHeuristics::EAHeuristics ( RegistryPtr reg ) [inline]

Definition at line 916 of file TestPlugin.cpp.

bool TestSetMinusAtom::EAHeuristics::doEvaluate	(	const ExternalAtom &	eatom,
		InterpretationConstPtr	eatomMask,
		InterpretationConstPtr	programMask,
		InterpretationConstPtr	partialAssignment,
		InterpretationConstPtr	assigned,
		InterpretationConstPtr	changed
	)		`[inline, 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.

Definition at line 917 of file TestPlugin.cpp.

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