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)

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)