Instantiates nonground nogoods stepwise according to the current interpretation. More...

Inheritance diagram for LazyNogoodGrounder:

Collaboration diagram for LazyNogoodGrounder:

Public Member Functions
	LazyNogoodGrounder (RegistryPtr reg, SimpleNogoodContainerPtr watched, SimpleNogoodContainerPtr destination, AnnotatedGroundProgram &agp)
	Initializes the nogood grounder for a container of watched nogoods and a destination for resulting ground nogoods.
virtual void	update (InterpretationConstPtr partialInterpretation=InterpretationConstPtr(), InterpretationConstPtr factWasSet=InterpretationConstPtr(), InterpretationConstPtr changed=InterpretationConstPtr())
	Makes another grounding step.
virtual void	resetWatched (SimpleNogoodContainerPtr watched)
	Changes the watched nogood container.
Private Attributes
int	watchedNogoodsCount
	Number of currently watched nogoods.
std::vector< std::pair< ID, int > >	watchedLiterals
	Stores for all literals the indexes of nogoods which watch it.
std::set< std::pair< IDAddress, int > >	alreadyCompared
	Stores which atom was already compared to which nonground nogood.

Detailed Description

Instantiates nonground nogoods stepwise according to the current interpretation.

That is, a nogood is instantiated if one of its atoms unifies with the current partial interpretation.

Definition at line 117 of file NogoodGrounder.h.

Constructor & Destructor Documentation

LazyNogoodGrounder::LazyNogoodGrounder	(	RegistryPtr	reg,
		SimpleNogoodContainerPtr	watched,
		SimpleNogoodContainerPtr	destination,
		AnnotatedGroundProgram &	agp
	)

Initializes the nogood grounder for a container of watched nogoods and a destination for resulting ground nogoods.

Parameters:

reg	RegistryPtr
watched	A container with the nogoods to ground
destination	The container where the resulting nogoods shall be added (possibly the same as watched)
agp	The ground program for which the nogoods shall be learned

Definition at line 183 of file NogoodGrounder.cpp.

void LazyNogoodGrounder::resetWatched ( SimpleNogoodContainerPtr watched ) [virtual]

Changes the watched nogood container.

Parameters:

watched Pointer to the new watched nogood container

Reimplemented from NogoodGrounder.

Definition at line 280 of file NogoodGrounder.cpp.

void LazyNogoodGrounder::update	(	InterpretationConstPtr	partialInterpretation = `InterpretationConstPtr()`,
		InterpretationConstPtr	factWasSet = `InterpretationConstPtr()`,
		InterpretationConstPtr	changed = `InterpretationConstPtr()`
	)		`[virtual]`

Makes another grounding step.

Parameters:

partialInterpretation	The current (partial) assignment
factWasSet	The atoms which have been assigned so far
changed	The changes in partialInterpretation since the last call (possibly helps the grounder to find relevant ground instances)

Definition at line 189 of file NogoodGrounder.cpp.