Uses of Class
org.chocosolver.util.objects.setDataStructures.iterable.IntIterableRangeSet

Packages that use IntIterableRangeSet

Package	Description
org.chocosolver.solver.constraints
org.chocosolver.solver.constraints.nary.clauses
org.chocosolver.solver.constraints.reification
org.chocosolver.solver.constraints.unary
org.chocosolver.solver.learn
org.chocosolver.util.objects.setDataStructures.iterable

Uses of IntIterableRangeSet in org.chocosolver.solver.constraints

Methods in org.chocosolver.solver.constraints with parameters of type IntIterableRangeSet

Modifier and Type	Method and 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 and Description
IntIterableRangeSet	ClauseBuilder.getInitialDomain(IntVar var)

Methods in org.chocosolver.solver.constraints.nary.clauses with parameters of type IntIterableRangeSet

Modifier and Type	Method and Description
void	ClauseStore.add(IntVar[] vars, IntIterableRangeSet[] ranges) Declare a new signed clause in this store
void	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 a PropSignedClause instance considering that 'ranges' are allowed: ( ...
static PropSignedClause	PropSignedClause.makeFromOut(IntVar[] vars, IntIterableRangeSet[] ranges) Create a PropSignedClause 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 and 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 and Description
PropMember(IntVar var, IntIterableRangeSet range) Maintain : var∈range
PropNotMember(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 and Description
IntIterableRangeSet	ExplanationForSignedClause.getComplementSet(IntVar var)
IntIterableRangeSet	LazyImplications.getDomainAt(int idx)
abstract IntIterableRangeSet	Implications.getDomainAt(int idx) Get the IntIterableRangeSet that represents domain declared in node idx
IntIterableRangeSet	ExplanationForSignedClause.getFreeSet() Return an empty set available (created and returned) or create a new one
IntIterableRangeSet	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.
IntIterableRangeSet	LazyImplications.getRootDomain(IntVar var)
abstract IntIterableRangeSet	Implications.getRootDomain(IntVar var) Get the IntIterableRangeSet that represents domain of this variables as declared in the model
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 and Description
HashMap<IntVar,IntIterableRangeSet>	ExplanationForSignedClause.getLiterals()

Methods in org.chocosolver.solver.learn with parameters of type IntIterableRangeSet

Modifier and Type	Method and Description
void	ExplanationForSignedClause.addLiteral(IntVar var, IntIterableRangeSet dom, boolean pivot) Add a signed literal (var ∈ dom) to this explanation.
void	LazyImplications.copyComplementSet(IntVar var, IntIterableRangeSet set, IntIterableRangeSet dest)
abstract void	Implications.copyComplementSet(IntVar var, IntIterableRangeSet set, IntIterableRangeSet dest) Copy in dest the complement of set wrt to root domain of var
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 and 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 an IntIterableRangeSet.
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 and 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(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..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 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