Uses of Class
org.chocosolver.util.objects.setDataStructures.iterable.IntIterableRangeSet
-
-
Uses of IntIterableRangeSet in org.chocosolver.solver.constraints
Methods in org.chocosolver.solver.constraints with parameters of type IntIterableRangeSet Modifier and Type Method Description default Constraint
IIntConstraintFactory. member(IntVar var, IntIterableRangeSet set)
Creates a member constraint.default Constraint
IIntConstraintFactory. notMember(IntVar var, IntIterableRangeSet set)
Creates a notMember constraint.default void
IReificationFactory. reifyXinS(IntVar X, IntIterableRangeSet S, BoolVar B)
Posts one constraint that expresses : (X ∈ S) ⇔ B.default void
IReificationFactory. reifyXnotinS(IntVar X, IntIterableRangeSet S, BoolVar B)
Posts one constraint that expresses : (X ∉ S) ⇔ B. -
Uses of IntIterableRangeSet in org.chocosolver.solver.constraints.nary.clauses
Methods in org.chocosolver.solver.constraints.nary.clauses that return IntIterableRangeSet Modifier and Type Method Description IntIterableRangeSet
ClauseBuilder. getInitialDomain(IntVar var)
Methods in org.chocosolver.solver.constraints.nary.clauses with parameters of type IntIterableRangeSet Modifier and Type Method Description void
ClauseStore. add(IntVar[] vars, IntIterableRangeSet[] ranges)
Declare a new signed clause in this storevoid
ClauseConstraint. addClause(IntVar[] vars, IntIterableRangeSet[] ranges)
Add a new clause to the clause store, like: (vars[0] ∈ ranges[0]) ∨ (vars[1] ∈ ranges[1]) ∨ ...static PropSignedClause
PropSignedClause. makeFromIn(IntVar[] vars, IntIterableRangeSet[] ranges)
Create aPropSignedClause
instance considering that 'ranges' are allowed:static PropSignedClause
PropSignedClause. makeFromOut(IntVar[] vars, IntIterableRangeSet[] ranges)
Create aPropSignedClause
instance considering that 'ranges' are forbidden:ClauseBuilder
ClauseBuilder. put(IntVar var, IntIterableRangeSet set)
Add a literal (var ∈ set) in this, considering that the entry is only added once (no need to perform internal operations). -
Uses of IntIterableRangeSet in org.chocosolver.solver.constraints.reification
Constructors in org.chocosolver.solver.constraints.reification with parameters of type IntIterableRangeSet Constructor Description PropXinSReif(IntVar x, IntIterableRangeSet set, BoolVar r)
-
Uses of IntIterableRangeSet in org.chocosolver.solver.constraints.unary
Constructors in org.chocosolver.solver.constraints.unary with parameters of type IntIterableRangeSet Constructor Description PropMember(IntVar var, IntIterableRangeSet range)
Maintain : var∈rangePropNotMember(IntVar var, IntIterableRangeSet range)
Maintain : var∉range -
Uses of IntIterableRangeSet in org.chocosolver.solver.learn
Methods in org.chocosolver.solver.learn that return IntIterableRangeSet Modifier and Type Method Description IntIterableRangeSet
ExplanationForSignedClause. getComplementSet(IntVar var)
abstract IntIterableRangeSet
Implications. getDomainAt(int idx)
Get theIntIterableRangeSet
that represents domain declared in node idxIntIterableRangeSet
LazyImplications. getDomainAt(int idx)
IntIterableRangeSet
ExplanationForSignedClause. getFreeSet()
Return an empty set available (created and returned) or create a new oneIntIterableRangeSet
ExplanationForSignedClause. getFreeSet(int val)
Return an available set (created and returned) or create a new one then add 'val' to it.IntIterableRangeSet
ExplanationForSignedClause. getFreeSet(int a, int b)
Return an available set (created and returned) or create a new one then add range ['a','b'] to it.abstract IntIterableRangeSet
Implications. getRootDomain(IntVar var)
Get theIntIterableRangeSet
that represents domain of this variables as declared in the modelIntIterableRangeSet
LazyImplications. getRootDomain(IntVar var)
IntIterableRangeSet
ExplanationForSignedClause. getRootSet(IntVar var)
IntIterableRangeSet
ExplanationForSignedClause. getSet(int p)
IntIterableRangeSet
ExplanationForSignedClause. getSet(IntVar var)
Methods in org.chocosolver.solver.learn that return types with arguments of type IntIterableRangeSet Modifier and Type Method Description HashMap<IntVar,IntIterableRangeSet>
ExplanationForSignedClause. getLiterals()
Methods in org.chocosolver.solver.learn with parameters of type IntIterableRangeSet Modifier and Type Method Description void
ExplanationForSignedClause. addLiteral(IntVar var, IntIterableRangeSet dom, boolean pivot)
Add a signed literal (var ∈ dom) to this explanation.abstract void
Implications. copyComplementSet(IntVar var, IntIterableRangeSet set, IntIterableRangeSet dest)
Copy in dest the complement of set wrt to root domain of varvoid
LazyImplications. copyComplementSet(IntVar var, IntIterableRangeSet set, IntIterableRangeSet dest)
void
ExplanationForSignedClause. returnSet(IntIterableRangeSet set)
-
Uses of IntIterableRangeSet in org.chocosolver.util.objects.setDataStructures.iterable
Methods in org.chocosolver.util.objects.setDataStructures.iterable that return IntIterableRangeSet Modifier and Type Method Description static IntIterableRangeSet
IntIterableSetUtils. complement(IntIterableRangeSet set, int lbu, int ubu)
IntIterableRangeSet
IntIterableRangeSet. copyFrom(IntIterableRangeSet me)
IntIterableRangeSet
IntIterableRangeSet. duplicate()
static IntIterableRangeSet
IntIterableSetUtils. extract(IntVar var)
Copy the domain of var into anIntIterableRangeSet
.IntIterableRangeSet
IntIterableRangeSet. flip()
Turn this into the complement of this.IntIterableRangeSet
IntIterableRangeSet. flip(int lb, int ub)
Turn this into the complement of this.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)
Methods in org.chocosolver.util.objects.setDataStructures.iterable with parameters of type IntIterableRangeSet Modifier and Type Method Description boolean
IntIterableRangeSet. addAll(IntIterableRangeSet set)
static IntIterableRangeSet
IntIterableSetUtils. complement(IntIterableRangeSet set, int lbu, int ubu)
IntIterableRangeSet
IntIterableRangeSet. copyFrom(IntIterableRangeSet me)
static void
IntIterableSetUtils. copyIn(IntVar var, IntIterableRangeSet set)
Copy the domain of var in set.static boolean
IntIterableSetUtils. includedIn(IntVar var, IntIterableRangeSet set)
static boolean
IntIterableSetUtils. includedIn(IntIterableRangeSet set1, IntIterableRangeSet set2)
static boolean
IntIterableSetUtils. intersect(IntVar var, IntIterableRangeSet set)
static boolean
IntIterableSetUtils. intersect(IntIterableRangeSet set1, IntIterableRangeSet set2)
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 ∩ set2static boolean
IntIterableSetUtils. intersectionOf(IntIterableRangeSet set1, IntIterableRangeSet set2)
Set set1 to set1 ∩ set2static 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..u]}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..u]}static void
IntIterableSetUtils. plus(IntIterableRangeSet setr, IntIterableRangeSet set1, IntIterableRangeSet set2)
Set setr to {a + b | a in set1, b in set2}boolean
IntIterableRangeSet. removeAll(IntIterableRangeSet set)
boolean
IntIterableRangeSet. retainAll(IntIterableRangeSet set)
static void
IntIterableSetUtils. union(IntIterableRangeSet set, IntVar var)
Put all value of var into set.static IntIterableRangeSet
IntIterableSetUtils. union(IntIterableRangeSet set1, IntIterableRangeSet set2)
static void
IntIterableSetUtils. union(IntIterableRangeSet setr, IntIterableRangeSet set1, IntIterableRangeSet set2)
Set setr to set1 ∪ set2static boolean
IntIterableSetUtils. unionOf(IntIterableRangeSet set1, IntIterableRangeSet set2)
Set set1 to set1 ∩ set2
-