Package | Description |
---|---|
org.chocosolver.solver.constraints | |
org.chocosolver.solver.constraints.nary.alldifferent.conditions |
Modifier and Type | Method and Description |
---|---|
default Constraint |
IIntConstraintFactory.allDifferentUnderCondition(IntVar[] vars,
Condition condition,
boolean singleCondition)
Creates an allDifferent constraint subject to the given condition.
|
Modifier and Type | Field and Description |
---|---|
static Condition |
Condition.EXCEPT_0
Satisfied iff the variable cannot take value 0
|
static Condition |
Condition.TRUE
True condition, always satisfied
|
Constructor and Description |
---|
PropCondAllDiff_AC(IntVar[] variables,
Condition condition)
AllDifferent constraint for integer variables
Holds only on the subset of variables satisfying the given condition
|
PropCondAllDiffInst(IntVar[] variables,
Condition c,
boolean mode)
ConditionnalAllDifferent constraint for integer variables
enables to control the cardinality of the matching
IF mode
for all X in vars, condition(X) => X !
|
Copyright © 2017. All rights reserved.