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 |
boolReif, 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, setOpposite, 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 © 2018. All rights reserved.