AllDiff Class Reference

#include <AllDiff.h>

Inheritance diagram for AllDiff:

List of all members.

Public Member Functions
virtual bool	propagate (Variable &modified)

---

Detailed Description

N-ary constraint enforcing different values for all variables involved.

---

Member Function Documentation

bool AllDiff::propagate (  Variable &  modified  )  [virtual]

Propagate this constraint. If you decide to overwrite this function, you can prune domains of other variables, provided that you make correct use of [save|restore|postpone|add]Diffs. This should work regardles of the arity of the constraint. Parameters: modifiedVariable  the variable that has been modified; obviously this should be involved in the current constraint. Returns: `true' if the propagation was successful, `false' otherwise. Reimplemented from Constraint.

---

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

• AllDiff.h
• AllDiff.cc

---