Module org.maxicp

Package org.maxicp.cp.engine.constraints

Class AllDifferentFWC

java.lang.Object

org.maxicp.cp.engine.core.AbstractCPConstraint

org.maxicp.cp.engine.constraints.AtLeastNValueFWC

org.maxicp.cp.engine.constraints.AllDifferentFWC

All Implemented Interfaces:

CPConstraint, ConcreteConstraint<ConcreteCPModel>

public class AllDifferentFWC
extends AtLeastNValueFWC

Forward Checking AllDifferent Constraint.

Enforces that all variables in x take pairwise different values by removing the value of a variable from all other variables' domains as soon as it becomes fixed.

Constructor Summary

Constructors

Constructor	Description
AllDifferentFWC(CPIntVar... x)	Creates an AllDifferent constraint with forward checking filtering.

Method Summary

Methods inherited from class org.maxicp.cp.engine.constraints.AtLeastNValueFWC

post, propagate

Methods inherited from class org.maxicp.cp.engine.core.AbstractCPConstraint

getSolver, isActive, isScheduled, priority, registerDelta, setActive, setScheduled, updateDeltas

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

AllDifferentFWC

public AllDifferentFWC(CPIntVar... x)

Creates an AllDifferent constraint with forward checking filtering.

Parameters:

x - the array of variables that must take pairwise distinct values