Performs UFS checks whenever deterministic reasoning cannot derive further atoms. More...

Inheritance diagram for UnfoundedSetCheckHeuristicsMax:

Collaboration diagram for UnfoundedSetCheckHeuristicsMax:

Public Member Functions
	UnfoundedSetCheckHeuristicsMax (const AnnotatedGroundProgram &groundProgram, RegistryPtr reg)
virtual bool	doUFSCheck (InterpretationConstPtr verifiedAuxes, InterpretationConstPtr partialAssignment, InterpretationConstPtr assigned, InterpretationConstPtr changed)
	Decides if the reasoner shall do an unfounded set check at this point.

Detailed Description

Performs UFS checks whenever deterministic reasoning cannot derive further atoms.

Constructor & Destructor Documentation

UnfoundedSetCheckHeuristicsMax::UnfoundedSetCheckHeuristicsMax	(	const AnnotatedGroundProgram &	groundProgram,
		RegistryPtr	reg
	)

bool UnfoundedSetCheckHeuristicsMax::doUFSCheck	(	InterpretationConstPtr	verifiedAuxes,
		InterpretationConstPtr	partialAssignment,
		InterpretationConstPtr	assigned,
		InterpretationConstPtr	changed
	)		`[virtual]`

Decides if the reasoner shall do an unfounded set check at this point.

Parameters:

verifiedAuxes	The set of verified external atom auxiliaries wrt. the current partial interpretation
partialAssignment	The current (partial) interpretation
assigned	The current set of assigned atoms; if NULL, then the interpretation is complete
changed	The set of atoms with a (possibly) modified truth value since the last call of this method; if NULL, then all atoms have changed

Returns:: True if the heuristics decides to do an unfounded set check now, and false otherwise.

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