Class AllDifferent
- java.lang.Object
-
- org.chocosolver.solver.constraints.Constraint
-
- org.chocosolver.solver.constraints.nary.alldifferent.AllDifferent
-
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".
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class org.chocosolver.solver.constraints.Constraint
Constraint.Status
-
-
Constructor Summary
Constructors Constructor Description AllDifferent(IntVar[] vars, String type)
-
Method Summary
-
Methods inherited from class org.chocosolver.solver.constraints.Constraint
checkNewStatus, computeMaxPriority, declareAs, getCidxInModel, getName, getOpposite, getPropagator, getPropagators, getStatus, isReified, isSatisfied, makeOpposite, merge, post, reify, reifyWith, setName, setOpposite, toString
-
-
-
-
Field Detail
-
AC
public static final String AC
- See Also:
- Constant Field Values
-
BC
public static final String BC
- See Also:
- Constant Field Values
-
FC
public static final String FC
- See Also:
- Constant Field Values
-
NEQS
public static final String NEQS
- See Also:
- Constant Field Values
-
DEFAULT
public static final String DEFAULT
- See Also:
- Constant Field Values
-
-