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

Constructor Summary

Constructors

Constructor	Description
AllDifferentFWC(CPIntVar... x)

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)