public class AllDifferent
Ensures that all variables from VARS take a different value.
The consistency level should be chosen among "AC", "BC", "FC" and "DEFAULT".
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
Copyright © 2019. All rights reserved.