org.chocosolver.solver.constraints.nary.alldifferent

Class AllDifferent

java.lang.Object

org.chocosolver.solver.constraints.Constraint

org.chocosolver.solver.constraints.nary.alldifferent.AllDifferent

All Implemented Interfaces:

Serializable

public class AllDifferent
extends Constraint

Ensures that all variables from VARS take a different value. The consistency level should be chosen among "AC", "BC", "FC" and "DEFAULT".

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	AllDifferent.Type

Field Summary

Fields inherited from class org.chocosolver.solver.constraints.Constraint

name, propagators

Constructor Summary

Constructors

Constructor and Description
AllDifferent(IntVar[] vars, String type)

Method Summary

Methods inherited from class org.chocosolver.solver.constraints.Constraint

computeMaxPriority, duplicate, getName, getOpposite, getPropagator, getPropagators, isReified, isSatisfied, makeOpposite, reif, reifyWith, setName, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

AllDifferent

public AllDifferent(IntVar[] vars,
            String type)