Performs UFS checks periodically. More...

Inheritance diagram for UnfoundedSetCheckHeuristicsPeriodic:

Collaboration diagram for UnfoundedSetCheckHeuristicsPeriodic:

Public Member Functions
	UnfoundedSetCheckHeuristicsPeriodic (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.
Private Attributes
int	counter
	Counts the number of calls in order to periodically perform the UFS check.

Detailed Description

Performs UFS checks periodically.

Constructor & Destructor Documentation

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

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

References counter.

Counts the number of calls in order to periodically perform the UFS check.

Referenced by doUFSCheck().

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