Package | Description |
---|---|
org.chocosolver.solver.constraints | |
org.chocosolver.solver.constraints.reification | |
org.chocosolver.util.objects.setDataStructures.iterable |
Modifier and Type | Method and Description |
---|---|
default void |
IReificationFactory.reifyXinS(IntVar X,
IntIterableRangeSet S,
BoolVar B)
Posts one constraint that expresses : (X ∈ S) ⇔ B.
|
Constructor and Description |
---|
PropXinSReif(IntVar x,
IntIterableRangeSet set,
BoolVar r) |
Modifier and Type | Method and Description |
---|---|
static IntIterableRangeSet |
IntIterableSetUtils.complement(IntIterableRangeSet set,
int lbu,
int ubu) |
static IntIterableRangeSet |
IntIterableSetUtils.extract(IntVar var)
Copy the domain of var into an
IntIterableRangeSet . |
static IntIterableRangeSet |
IntIterableSetUtils.intersection(IntIterableRangeSet set1,
IntIterableRangeSet set2) |
static IntIterableRangeSet |
IntIterableSetUtils.minus(IntIterableRangeSet set1,
IntIterableRangeSet set2) |
static IntIterableRangeSet |
IntIterableSetUtils.plus(IntIterableRangeSet set1,
IntIterableRangeSet set2) |
static IntIterableRangeSet |
IntIterableSetUtils.union(IntIterableRangeSet set1,
IntIterableRangeSet set2) |
Modifier and Type | Method and Description |
---|---|
static IntIterableRangeSet |
IntIterableSetUtils.complement(IntIterableRangeSet set,
int lbu,
int ubu) |
static void |
IntIterableSetUtils.copyIn(IntVar var,
IntIterableRangeSet set)
Copy the domain of var in set.
|
static boolean |
IntIterableSetUtils.includedIn(IntIterableRangeSet set1,
IntIterableRangeSet set2) |
static boolean |
IntIterableSetUtils.includedIn(IntVar var,
IntIterableRangeSet set) |
static boolean |
IntIterableSetUtils.intersect(IntIterableRangeSet set1,
IntIterableRangeSet set2) |
static boolean |
IntIterableSetUtils.intersect(IntVar var,
IntIterableRangeSet set) |
static IntIterableRangeSet |
IntIterableSetUtils.intersection(IntIterableRangeSet set1,
IntIterableRangeSet set2) |
static void |
IntIterableSetUtils.intersection(IntIterableRangeSet setr,
IntIterableRangeSet set1,
int from,
int to)
Set setr to set1 ∩ [from,to]
|
static void |
IntIterableSetUtils.intersection(IntIterableRangeSet setr,
IntIterableRangeSet set1,
IntIterableRangeSet set2)
Set setr to set1 ∩ set2
|
static boolean |
IntIterableSetUtils.intersectionOf(IntIterableRangeSet set1,
IntIterableRangeSet set2)
Set set1 to set1 ∩ set2
|
static IntIterableRangeSet |
IntIterableSetUtils.minus(IntIterableRangeSet set1,
IntIterableRangeSet set2) |
static void |
IntIterableSetUtils.minus(IntIterableRangeSet setr,
IntIterableRangeSet set1,
int l,
int u)
Set setr to {a - b | a in set1, b in [l..
|
static void |
IntIterableSetUtils.minus(IntIterableRangeSet setr,
IntIterableRangeSet set1,
IntIterableRangeSet set2)
Set setr to {a - b | a in set1, b in set2}
|
static boolean |
IntIterableSetUtils.notIncludedIn(IntVar var,
IntIterableRangeSet set) |
static IntIterableRangeSet |
IntIterableSetUtils.plus(IntIterableRangeSet set1,
IntIterableRangeSet set2) |
static void |
IntIterableSetUtils.plus(IntIterableRangeSet setr,
IntIterableRangeSet set1,
int l,
int u)
Set setr to {a + b | a in set1, b in [l..
|
static void |
IntIterableSetUtils.plus(IntIterableRangeSet setr,
IntIterableRangeSet set1,
IntIterableRangeSet set2)
Set setr to {a + b | a in set1, b in set2}
|
static IntIterableRangeSet |
IntIterableSetUtils.union(IntIterableRangeSet set1,
IntIterableRangeSet set2) |
static void |
IntIterableSetUtils.union(IntIterableRangeSet setr,
IntIterableRangeSet set1,
IntIterableRangeSet set2)
Set setr to set1 ∪ set2
|
static void |
IntIterableSetUtils.union(IntIterableRangeSet set,
IntVar var)
Put all value of var into set.
|
static boolean |
IntIterableSetUtils.unionOf(IntIterableRangeSet set1,
IntIterableRangeSet set2)
Set set1 to set1 ∩ set2
|
Copyright © 2017. All rights reserved.