Chronological Class Reference

#include <Chronological.h>

Inheritance diagram for Chronological:

List of all members.

Public Member Functions
	Chronological (Problem &problem)
virtual void	recordDomainChange (Variable &, Variable &)
virtual void	recordFailure (Constraint &, Variable &, Variable &)
virtual int	computeJump (bool) const

---

Detailed Description

The most common retraction, used when implementing chronological backtracking. This retraction always returns to the previous depth.

---

Member Function Documentation

int Chronological::computeJump (  bool   )  const [virtual]

Return the back jumping depth based on the conflict set of the variables modified at the current depth. We have to parse all of them and select the deepest variable that could have caused a conflict. Parameters: chronological  if `true', this function returns the depth corresponding to a chronological back jump. Implements Retraction.

virtual void Chronological::recordDomainChange (  Variable &  , Variable &  )  [inline, virtual]

Notify the monitor that values have been removed from the domain of `victim' (but no dwo='domain wipe out'). This function adds to the conflict set of `victim' all the variables modified at the current depth of the search. Parameters: victim  the variable whose domain has changed. aggressor  the variable that caused the domain change. Implements Retraction.

virtual void Chronological::recordFailure (  Constraint &  , Variable &  , Variable &  )  [inline, virtual]

Record a failure in the filter. Parameters: constraint  the constraint causing the failure. victim  the variable whose domain has been wiped out. aggressor  the variable that caused the domain wipe out. Implements Retraction.

---

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

• Chronological.h
• Chronological.cc

---