public class AllDifferent extends Constraint
Constraint.Status
Modifier and Type | Field and Description |
---|---|
static String |
AC |
static String |
BC |
static String |
DEFAULT |
static String |
FC |
static String |
NEQS |
propagators
Constructor and Description |
---|
AllDifferent(IntVar[] vars,
String type) |
checkNewStatus, computeMaxPriority, declareAs, getCidxInModel, getName, getOpposite, getPropagator, getPropagators, getStatus, isReified, isSatisfied, makeOpposite, merge, post, reify, reifyWith, setName, toString
public static final String AC
public static final String BC
public static final String FC
public static final String NEQS
public static final String DEFAULT
Copyright © 2017. All rights reserved.