Module org.maxicp

Package org.maxicp.cp.engine.constraints

Class AllDifferentDC

java.lang.Object

org.maxicp.cp.engine.core.AbstractCPConstraint

org.maxicp.cp.engine.constraints.AtLeastNValueDC

org.maxicp.cp.engine.constraints.AllDifferentDC

All Implemented Interfaces:

CPConstraint, ConcreteConstraint<ConcreteCPModel>

public class AllDifferentDC
extends AtLeastNValueDC

Arc Consistent AllDifferent Constraint

Algorithm described in "A filtering algorithm for constraints of difference in CSPs" J-C. Régin, AAAI-94

Constructor Summary

Constructors

Constructor	Description
AllDifferentDC(CPIntVar... x)	Creates an AllDifferent constraint that enforces that all variables in x take pairwise different values, using domain-consistent filtering.

Method Summary

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

getValInBestAssignment, hasValInBestAssignment, 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

AllDifferentDC

public AllDifferentDC(CPIntVar... x)

Creates an AllDifferent constraint that enforces that all variables in x take pairwise different values, using domain-consistent filtering.

Parameters:

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