Uses of Class
org.chocosolver.solver.constraints.Propagator

Packages that use Propagator

Package	Description
org.chocosolver.sat
org.chocosolver.solver.constraints
org.chocosolver.solver.constraints.binary
org.chocosolver.solver.constraints.binary.element
org.chocosolver.solver.constraints.extension.binary
org.chocosolver.solver.constraints.extension.nary
org.chocosolver.solver.constraints.nary
org.chocosolver.solver.constraints.nary.alldifferent
org.chocosolver.solver.constraints.nary.alldifferent.algo
org.chocosolver.solver.constraints.nary.alldifferent.conditions
org.chocosolver.solver.constraints.nary.among
org.chocosolver.solver.constraints.nary.automata
org.chocosolver.solver.constraints.nary.automata.structure.costregular
org.chocosolver.solver.constraints.nary.automata.structure.multicostregular
org.chocosolver.solver.constraints.nary.automata.structure.regular
org.chocosolver.solver.constraints.nary.binPacking
org.chocosolver.solver.constraints.nary.channeling
org.chocosolver.solver.constraints.nary.circuit
org.chocosolver.solver.constraints.nary.clauses
org.chocosolver.solver.constraints.nary.cnf
org.chocosolver.solver.constraints.nary.count
org.chocosolver.solver.constraints.nary.cumulative
org.chocosolver.solver.constraints.nary.element
org.chocosolver.solver.constraints.nary.globalcardinality
org.chocosolver.solver.constraints.nary.lex
org.chocosolver.solver.constraints.nary.min_max
org.chocosolver.solver.constraints.nary.nvalue
org.chocosolver.solver.constraints.nary.nvalue.amnv.rules
org.chocosolver.solver.constraints.nary.sort
org.chocosolver.solver.constraints.nary.sum
org.chocosolver.solver.constraints.nary.tree
org.chocosolver.solver.constraints.real
org.chocosolver.solver.constraints.reification
org.chocosolver.solver.constraints.set
org.chocosolver.solver.constraints.ternary
org.chocosolver.solver.constraints.unary
org.chocosolver.solver.propagation
org.chocosolver.solver.variables
org.chocosolver.solver.variables.impl

Uses of Propagator in org.chocosolver.sat

Subclasses of Propagator in org.chocosolver.sat

Modifier and Type	Class	Description
class	PropNogoods	A propagator to store and propagate no-goods.
class	PropSat	A propagator to deal with clauses and interface a SatSolver.

Uses of Propagator in org.chocosolver.solver.constraints

Fields in org.chocosolver.solver.constraints declared as Propagator

Modifier and Type	Field	Description
protected Propagator[]	Constraint.propagators	Propagators of the constraint (they will filter domains and eventually check solutions)

Methods in org.chocosolver.solver.constraints that return Propagator

Modifier and Type	Method	Description
Propagator	Constraint.getPropagator(int i)
Propagator[]	Constraint.getPropagators()	Return an array which contains the propagators declared in this.

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

Modifier and Type	Method	Description
int	Propagator.compareTo(Propagator o)
static void	Propagator.defaultExplain(Propagator prop, ExplanationForSignedClause explanation, ValueSortedMap<IntVar> front, Implications ig, int p)

Constructors in org.chocosolver.solver.constraints with parameters of type Propagator

Constructor	Description
Arithmetic(String name, IntVar[] vars, Operator op1, Operator op2, int cste, Propagator prop)
Constraint(String name, Propagator... propagators)	Make a new constraint defined as a set of given propagators

Uses of Propagator in org.chocosolver.solver.constraints.binary

Subclasses of Propagator in org.chocosolver.solver.constraints.binary

Modifier and Type	Class	Description
class	PropAbsolute	Enforces X = |Y|
class	PropDistanceXYC	| X - Y | op C op = {"==", "<", ">", "=/="}
class	PropEqualX_Y	X = Y
class	PropEqualX_YC	X = Y + C
class	PropEqualXY_C	X + Y = C
class	PropGreaterOrEqualX_Y	X >= Y
class	PropGreaterOrEqualX_YC	X >= Y + C
class	PropGreaterOrEqualXY_C	X + Y >= C
class	PropLessOrEqualXY_C	X + Y <= C
class	PropModXY	X % mod = Y A propagator for the constraint Y = X % mod where X and Y are integer, possibly negative, variables and mod is an int The filtering algorithm both supports bounded and enumerated integer variables
class	PropNotEqualX_Y	A specific Propagator extension defining filtering algorithm for: X =/= Y where X and Y are Variable objects.
class	PropNotEqualX_YC	A specific Propagator extension defining filtering algorithm for: X =/= Y + C where X and Y are Variable objects and C a constant.
class	PropNotEqualXY_C	A specific Propagator extension defining filtering algorithm for: X + Y =/= C where X and Y are Variable objects and C a constant.
class	PropScale	Scale propagator : ensures x * y = z With y a constant greater than one Ensures AC
class	PropSquare	Enforces X = Y^2

Uses of Propagator in org.chocosolver.solver.constraints.binary.element

Subclasses of Propagator in org.chocosolver.solver.constraints.binary.element

Modifier and Type	Class	Description
class	PropElement	VALUE = TABLE[INDEX-OFFSET], ensuring arc consistency on result and index.

Uses of Propagator in org.chocosolver.solver.constraints.extension.binary

Subclasses of Propagator in org.chocosolver.solver.constraints.extension.binary

Modifier and Type	Class	Description
class	PropBinAC2001	AC2001 algorithm for binary table constraint
class	PropBinAC3
class	PropBinAC3bitrm	AC3 bit rm algorithm for binary table constraint
class	PropBinAC3rm
class	PropBinCSP
class	PropBinFC	Forward checking algorithm for table constraint

Uses of Propagator in org.chocosolver.solver.constraints.extension.nary

Subclasses of Propagator in org.chocosolver.solver.constraints.extension.nary

Modifier and Type	Class	Description
class	PropCompactTable	Propagator for table constraint based on "Compact-Table: Efficiently Filtering Table Constraints with Reversible Sparse Bit-Sets" Only for feasible Tuples
class	PropCompactTableStar	Propagator for table constraint based on "Extending Compact-Table to Negative and Short Tables", H.
class	PropLargeCSP<R extends LargeRelation>
class	PropLargeFC
class	PropLargeGAC2001
class	PropLargeGAC2001Positive
class	PropLargeGAC3rm
class	PropLargeGAC3rmPositive
class	PropLargeGACSTRPos	GAC maintaind by STR
class	PropLargeMDDC	Implementation based on "Maintaining GAC on adhoc r-ary constraints", Cheng and Yap, CP12.
class	PropTableStr2	STR2 Propagator for table constraints (only positive tuples)

Uses of Propagator in org.chocosolver.solver.constraints.nary

Subclasses of Propagator in org.chocosolver.solver.constraints.nary

Modifier and Type	Class	Description
class	PropDiffN
class	PropIntValuePrecedeChain	A propagator for the IntValuePrecede constraint, based on: "Y.
class	PropKLoops	Incremental propagator which restricts the number of loops: |{succs[i]=i+offSet}| = nbLoops
class	PropKnapsack	Propagator for the Knapsack constraint based on Dantzig-Wolfe relaxation

Uses of Propagator in org.chocosolver.solver.constraints.nary.alldifferent

Subclasses of Propagator in org.chocosolver.solver.constraints.nary.alldifferent

Modifier and Type	Class	Description
class	PropAllDiffAC	Propagator for AllDifferent AC constraint for integer variables
class	PropAllDiffAdaptative	Probabilistic Propagator for AllDifferent AC constraint for integer variables introduced to avoid loosing too much time in AC propagation when BC is sufficientss The more this propagator triggers filtering and failure, the more likely it will be called If it does not bring improvement, this propagator will be called less during search
class	PropAllDiffBC	Based on: "A Fast and Simple Algorithm for Bounds Consistency of the AllDifferent Constraint" A.
class	PropAllDiffInst	Propagator for AllDifferent that only reacts on instantiation

Uses of Propagator in org.chocosolver.solver.constraints.nary.alldifferent.algo

Constructors in org.chocosolver.solver.constraints.nary.alldifferent.algo with parameters of type Propagator

Constructor	Description
AlgoAllDiffBC(Propagator cause)

Uses of Propagator in org.chocosolver.solver.constraints.nary.alldifferent.conditions

Subclasses of Propagator in org.chocosolver.solver.constraints.nary.alldifferent.conditions

Modifier and Type	Class	Description
class	PropCondAllDiff_AC	Propagator for AllDifferent AC constraint for integer variables subject to conditions (e.g. allDifferent_except_0) AllDiff only applies on the subset of variables satisfying the given condition
class	PropCondAllDiffInst	Propagator for ConditionnalAllDifferent that only reacts on instantiation

Uses of Propagator in org.chocosolver.solver.constraints.nary.among

Subclasses of Propagator in org.chocosolver.solver.constraints.nary.among

Modifier and Type	Class	Description
class	PropAmongGAC	Incremental propagator for Among Constraint: Counts the number of decision variables which take a value in the input value set GCCAT: NVAR is the number of variables of the collection VARIABLES that take their value in VALUES.

Uses of Propagator in org.chocosolver.solver.constraints.nary.automata

Subclasses of Propagator in org.chocosolver.solver.constraints.nary.automata

Modifier and Type	Class	Description
class	PropCostRegular
class	PropMultiCostRegular	Created by IntelliJ IDEA.
class	PropRegular

Uses of Propagator in org.chocosolver.solver.constraints.nary.automata.structure.costregular

Methods in org.chocosolver.solver.constraints.nary.automata.structure.costregular with parameters of type Propagator

Modifier and Type	Method	Description
void	StoredValuedDirectedMultiGraph.removeArc(int arcId, gnu.trove.stack.TIntStack toRemove, Propagator<IntVar> propagator, ICause aCause)
void	StoredValuedDirectedMultiGraph.updateLeft(int nid, gnu.trove.stack.TIntStack toRemove, Propagator<IntVar> propagator)
void	StoredValuedDirectedMultiGraph.updateRight(int nid, gnu.trove.stack.TIntStack toRemove, Propagator<IntVar> propagator)

Uses of Propagator in org.chocosolver.solver.constraints.nary.automata.structure.multicostregular

Methods in org.chocosolver.solver.constraints.nary.automata.structure.multicostregular with parameters of type Propagator

Modifier and Type	Method	Description
boolean	StoredDirectedMultiGraph.removeArc(int arcId, gnu.trove.stack.TIntStack toRemove, gnu.trove.stack.TIntStack[] updateLeft, gnu.trove.stack.TIntStack[] updateRight, Propagator<IntVar> propagator)
void	StoredDirectedMultiGraph.updateLeft(gnu.trove.stack.TIntStack updateLeft, gnu.trove.stack.TIntStack toRemove, int dim, boolean[] modBound, Propagator<IntVar> propagator)
void	StoredDirectedMultiGraph.updateRight(gnu.trove.stack.TIntStack updateRight, gnu.trove.stack.TIntStack toRemove, int dim, boolean[] modBound, Propagator<IntVar> propagator)

Uses of Propagator in org.chocosolver.solver.constraints.nary.automata.structure.regular

Methods in org.chocosolver.solver.constraints.nary.automata.structure.regular with parameters of type Propagator

Modifier and Type	Method	Description
void	StoredDirectedMultiGraph.clearSupports(int idxVar, int val, Propagator<IntVar> p)

Uses of Propagator in org.chocosolver.solver.constraints.nary.binPacking

Subclasses of Propagator in org.chocosolver.solver.constraints.nary.binPacking

Modifier and Type	Class	Description
class	PropItemToLoad	Propagator for a Bin Packing constraint Propagates item/bin allocations to bin loads Reacts to item/bin allocation variables only Should be used together with PropLoadToItem
class	PropLoadToItem	Incremental propagator for a Bin Packing constraint Propagates bin loads to item/bin allocations Reacts to load modifications AND allocation assignments Should be used together with PropItemToLoad

Uses of Propagator in org.chocosolver.solver.constraints.nary.channeling

Subclasses of Propagator in org.chocosolver.solver.constraints.nary.channeling

Modifier and Type	Class	Description
class	PropBitChanneling	A propagator which ensures that OCTET = 20*BIT_1 + 21*BIT_2 + ... 2n-1*BIT_n.
class	PropClauseChanneling	A propagator which links an IntVar with two arrays of BoolVar, one for EQ relations, the other for LQ relations.
class	PropEnumDomainChanneling	Constraints that map the boolean assignments variables (bvars) with the standard assignment variables (var).
class	PropInverseChannelAC	X[i] = j+Ox <=> Y[j] = i+Oy
class	PropInverseChannelBC	X[i] = j+Ox <=> Y[j] = i+Oy

Uses of Propagator in org.chocosolver.solver.constraints.nary.circuit

Subclasses of Propagator in org.chocosolver.solver.constraints.nary.circuit

Modifier and Type	Class	Description
class	PropCircuit_AntiArboFiltering	Propagator for circuit constraint based on dominators Redundant propagator
class	PropCircuit_ArboFiltering	Propagator for sub-circuit constraint based on dominators Redundant propagator
class	PropCircuitSCC	Filters circuit based on strongly connected components (see the TechReport "Improving the Asymmetric TSP by considering graph structure", Fages & Lorca, 2012)
class	PropNoSubtour	Simple nocircuit contraint (from NoSubtour of Pesant or noCycle of Caseaux/Laburthe)
class	PropSubcircuit	Subcircuit propagator (one circuit and several loops)
class	PropSubcircuitDominatorFilter	Propagator for sub-circuit constraint based on dominators Redundant propagator

Uses of Propagator in org.chocosolver.solver.constraints.nary.clauses

Subclasses of Propagator in org.chocosolver.solver.constraints.nary.clauses

Modifier and Type	Class	Description
class	ClauseStore	A class to manage life of sclauses during resolution.
class	ClauseStore.SignedClause
class	PropSignedClause	This propagator manages a signed clause: a disjunction of unary membership constraints.

Uses of Propagator in org.chocosolver.solver.constraints.nary.cnf

Subclasses of Propagator in org.chocosolver.solver.constraints.nary.cnf

Modifier and Type	Class	Description
class	PropFalse
class	PropTrue

Uses of Propagator in org.chocosolver.solver.constraints.nary.count

Subclasses of Propagator in org.chocosolver.solver.constraints.nary.count

Modifier and Type	Class	Description
class	PropCount_AC	Define a COUNT constraint setting size{forall v in lvars | v = occval} = occVar assumes the occVar variable to be the last of the variables of the constraint: vars = [lvars | occVar] Arc Consistent algorithm with lvars = list of variables for which the occurrence of occval in their domain is constrained
class	PropCountVar	Define a COUNT constraint setting size{forall v in lvars | v = occval} = occVar assumes the occVar variable to be the last of the variables of the constraint: vars = [lvars | occVar] Arc Consistent algorithm with lvars = list of variables for which the occurrence of occval in their domain is constrained

Uses of Propagator in org.chocosolver.solver.constraints.nary.cumulative

Subclasses of Propagator in org.chocosolver.solver.constraints.nary.cumulative

Modifier and Type	Class	Description
class	PropCumulative	Cumulative propagator Performs energy checking and mandatory part based filtering BEWARE : not idempotent, use two propagators to get the fix point
class	PropGraphCumulative	Graph based cumulative Maintains incrementally overlapping tasks Performs energy checking and mandatory part based filtering BEWARE : not idempotent, use two propagators to get the fix point

Methods in org.chocosolver.solver.constraints.nary.cumulative with parameters of type Propagator

Modifier and Type	Method	Description
abstract void	CumulFilter.filter(IntVar[] s, IntVar[] d, IntVar[] e, IntVar[] h, IntVar capa, ISet tasks, Propagator<IntVar> aCause)	Filters the cumulative constraint over the subset of tasks induced by tasks
void	DefaultCumulFilter.filter(IntVar[] s, IntVar[] d, IntVar[] e, IntVar[] h, IntVar capa, ISet tasks, Propagator<IntVar> aCause)
void	DisjunctiveTaskIntervalFilter.filter(IntVar[] s, IntVar[] d, IntVar[] e, IntVar[] h, IntVar capa, ISet tasks, Propagator<IntVar> aCause)
void	NaiveTimeCumulFilter.filter(IntVar[] s, IntVar[] d, IntVar[] e, IntVar[] h, IntVar capa, ISet tasks, Propagator<IntVar> aCause)
void	NRJCumulFilter.filter(IntVar[] s, IntVar[] d, IntVar[] e, IntVar[] h, IntVar capa, ISet tasks, Propagator<IntVar> aCause)
void	SweepCumulFilter.filter(IntVar[] s, IntVar[] d, IntVar[] e, IntVar[] h, IntVar capa, ISet tasks, Propagator<IntVar> aCause)
void	SweepHeiSortCumulFilter.filter(IntVar[] s, IntVar[] d, IntVar[] e, IntVar[] h, IntVar capa, ISet tasks, Propagator<IntVar> aCause)
void	TimeCumulFilter.filter(IntVar[] s, IntVar[] d, IntVar[] e, IntVar[] h, IntVar capa, ISet tasks, Propagator<IntVar> aCause)
protected void	TimeCumulFilter.filterInf(IntVar start, int elb, int dlb, int hlb, int min, int max, int[] time, int capaMax, Propagator<IntVar> aCause)
protected void	TimeCumulFilter.filterSup(int sub, IntVar end, int dlb, int hlb, int min, int max, int[] time, int capaMax, Propagator<IntVar> aCause)
protected void	SweepCumulFilter.pruneMax(IntVar[] e, Propagator<IntVar> aCause)
protected void	SweepCumulFilter.pruneMin(IntVar[] s, Propagator<IntVar> aCause)
protected boolean	HeightCumulFilter.sweep(IntVar capamax, IntVar[] h, int nbT, Propagator<IntVar> aCause)
protected boolean	SweepCumulFilter.sweep(IntVar capamax, IntVar[] h, int nbT, Propagator<IntVar> aCause)
protected boolean	SweepHeiSortCumulFilter.sweep(IntVar capamax, IntVar[] h, int nbT, Propagator<IntVar> aCause)

Uses of Propagator in org.chocosolver.solver.constraints.nary.element

Subclasses of Propagator in org.chocosolver.solver.constraints.nary.element

Modifier and Type	Class	Description
class	PropElementV_fast	Fast Element constraint

Uses of Propagator in org.chocosolver.solver.constraints.nary.globalcardinality

Subclasses of Propagator in org.chocosolver.solver.constraints.nary.globalcardinality

Modifier and Type	Class	Description
class	PropFastGCC	Propagator for Global Cardinality Constraint (GCC) for integer variables Basic filter: no particular consistency but fast and with a correct checker

Uses of Propagator in org.chocosolver.solver.constraints.nary.lex

Subclasses of Propagator in org.chocosolver.solver.constraints.nary.lex

Modifier and Type	Class	Description
class	PropLex	Enforce a lexicographic ordering on two vectors of integer variables x <_lex y with x = , and y = .
class	PropLexChain	Solver constraint of the LexChain constraint.
class	PropLexInt	Enforce a lexicographic ordering on one vector of integer variables x <_lex y with x = , and a vector of ints y = .

Uses of Propagator in org.chocosolver.solver.constraints.nary.min_max

Subclasses of Propagator in org.chocosolver.solver.constraints.nary.min_max

Modifier and Type	Class	Description
class	PropBoolMax
class	PropBoolMin
class	PropMax
class	PropMin

Uses of Propagator in org.chocosolver.solver.constraints.nary.nvalue

Subclasses of Propagator in org.chocosolver.solver.constraints.nary.nvalue

Modifier and Type	Class	Description
class	PropAMNV	Propagator for the atMostNValues constraint The number of distinct values in the set of variables vars is at most equal to nValues
class	PropAtLeastNValues	Propagator for the atMostNValues constraint The number of distinct values in the set of variables vars is at most equal to nValues No level of consistency but better than BC in general (for enumerated domains with holes)
class	PropAtLeastNValues_AC	AtLeastNValues Propagator (similar to SoftAllDiff) The number of distinct values in vars is at least nValues Performs Generalized Arc Consistency based on Maximum Bipartite Matching The worst case time complexity is O(nm) but this is very pessimistic In practice it is more like O(m) where m is the number of variable-value pairs
class	PropAtMostNValues	Propagator for the atMostNValues constraint The number of distinct values in the set of variables vars is at most equal to nValues No level of consistency but better than BC in general (for enumerated domains with holes)
class	PropAtMostNValues_BC	Propagator for the atMostNValues constraint The number of distinct values in the set of variables vars is at most equal to nValues Performs Bound Consistency in O(n+d) with n = |vars| d = maxValue - minValue (from initial domains)

Uses of Propagator in org.chocosolver.solver.constraints.nary.nvalue.amnv.rules

Methods in org.chocosolver.solver.constraints.nary.nvalue.amnv.rules with parameters of type Propagator

Modifier and Type	Method	Description
protected void	R3.enforceEq(int i, int j, IntVar[] vars, Propagator aCause)
void	R.filter(IntVar[] vars, UndirectedGraph graph, F heur, Propagator aCause)
void	R1.filter(IntVar[] vars, UndirectedGraph graph, F heur, Propagator aCause)
void	R2.filter(IntVar[] vars, UndirectedGraph graph, F heur, Propagator aCause)
void	R3.filter(IntVar[] vars, UndirectedGraph graph, F heur, Propagator aCause)
void	R4.filter(IntVar[] vars, UndirectedGraph graph, F heur, Propagator aCause)

Uses of Propagator in org.chocosolver.solver.constraints.nary.sort

Subclasses of Propagator in org.chocosolver.solver.constraints.nary.sort

Modifier and Type	Class	Description
class	PropKeysorting	Based on Technical Report from Mats Carlsson: "Propagating THE KEYSORTING Constraint" - Sept. 15, 2014.
class	PropSort	SortingConstraint is a constraint that ensures that a vector is the sorted version of a second one.

Uses of Propagator in org.chocosolver.solver.constraints.nary.sum

Subclasses of Propagator in org.chocosolver.solver.constraints.nary.sum

Modifier and Type	Class	Description
class	PropScalar	A propagator for SUM(x_i*c_i) = b Based on "Bounds Consistency Techniques for Long Linear Constraint" W.
class	PropSum	A propagator for SUM(x_i) o b Based on "Bounds Consistency Techniques for Long Linear Constraint" W.
class	PropSumBool	A propagator for SUM(x_i) = y + b, where x_i are boolean variables Based on "Bounds Consistency Techniques for Long Linear Constraint" W.
class	PropSumBoolIncr	A propagator for SUM(x_i) = y + b, where x_i are boolean variables, maintained incrementally.
class	PropSumFullBool	A propagator for SUM(x_i) = y + b, where x_i are boolean variables Based on "Bounds Consistency Techniques for Long Linear Constraint" W.
class	PropSumFullBoolIncr	A propagator for SUM(x_i) = y + b, where x_i are boolean variables, maintained incrementally.

Constructors in org.chocosolver.solver.constraints.nary.sum with parameters of type Propagator

Constructor	Description
SumConstraint(Propagator propagator)	Make a new constraint defined as a set of given propagators

Uses of Propagator in org.chocosolver.solver.constraints.nary.tree

Subclasses of Propagator in org.chocosolver.solver.constraints.nary.tree

Modifier and Type	Class	Description
class	PropAntiArborescences	AntiArborescences propagation (simplification from tree constraint) based on dominators loops (i.e., variables such that x[i]=i) are considered as roots Can use the simple LT algorithm which runs in O(m.log(n)) worst case time Or a slightly more sophisticated one, linear in theory but not necessarily faster in practice

Uses of Propagator in org.chocosolver.solver.constraints.real

Subclasses of Propagator in org.chocosolver.solver.constraints.real

Modifier and Type	Class	Description
class	PropScalarMixed	A propagator for SUM(x_i*c_i) = b Based on "Bounds Consistency Techniques for Long Linear Constraint" W.
class	RealPropagator	A propagator for real variables.

Uses of Propagator in org.chocosolver.solver.constraints.reification

Subclasses of Propagator in org.chocosolver.solver.constraints.reification

Modifier and Type	Class	Description
class	PropConditionnal	A specific propagator which posts constraint on condition.
class	PropLocalConDis	A propagator for constructive disjunction, with local deductions.
class	PropOpposite	Constraint representing the negation of a given constraint does not filter but fails if the given constraint is satisfied Can be used within any constraint
class	PropReif	Implication propagator
class	PropXeqCReif	A propagator dedicated to express in a compact way: (x = c) ⇔ b
class	PropXeqYCReif	A propagator dedicated to express in a compact way: (x = y + c) ⇔ b
class	PropXinSReif	A propagator dedicated to express in a compact way: (x = c) ⇔ b
class	PropXltCReif	A propagator dedicated to express in a compact way: (x < c) ⇔ b
class	PropXltYCReif	A propagator dedicated to express in a compact way: (x < y + c) ⇔ b

Constructors in org.chocosolver.solver.constraints.reification with parameters of type Propagator

Constructor	Description
PropLocalConDis(IntVar[] vars, Propagator<IntVar>[][] propagators)	A propagator to deal with constructive disjunction

Uses of Propagator in org.chocosolver.solver.constraints.set

Subclasses of Propagator in org.chocosolver.solver.constraints.set

Modifier and Type	Class	Description
class	PropAllDiff	Ensures that all sets are different
class	PropAllDisjoint	Ensures that all non-empty sets are disjoint In order to forbid multiple empty set, use propagator PropAtMost1Empty in addition
class	PropAllEqual	Ensures that all sets are equal
class	PropAtMost1Empty	At most one set can be empty
class	PropBoolChannel	Channeling between a set variable and boolean variables
class	PropCardinality	A propagator ensuring that |set| = card
class	PropElement	Propagator for element constraint over sets states that array[index-offSet] = set
class	PropIntBoundedMemberSet	Propagator for Member constraint: iv is in set
class	PropIntChannel	Channeling between set variables and integer variables x in sets[y-offSet1] <=> ints[x-offSet2] = y
class	PropIntCstMemberSet	Propagator for Member constraint: int cst is in set
class	PropIntCstNotMemberSet	Propagator for Member constraint: int cst is not in set
class	PropIntEnumMemberSet	Propagator for Member constraint: iv is in set
class	PropIntersection
class	PropIntersectionFilterSets
class	PropInverse	Inverse set propagator x in sets[y-offSet1] <=> y in inverses[x-offSet2]
class	PropMaxElement	Retrieves the maximum element of the set the set must not be empty
class	PropMinElement	Retrieves the minimum element of the set the set must not be empty
class	PropNbEmpty	Restricts the number of empty sets |{s in sets such that |s|=0}| = nbEmpty
class	PropNotEmpty	Restricts the set var not to be empty
class	PropNotMemberIntSet	Not Member propagator filtering Int->Set
class	PropNotMemberSetInt	Not Member propagator filtering Set->Int
class	PropOffSet	set2 is an offSet view of set1 x in set1 <=> x+offSet in set2
class	PropSetIntValuesUnion	Maintain a link between a set variable and the union of values taken by an array of integer variables Not idempotent (use two of them)
class	PropSubsetEq	Ensures that X subseteq Y
class	PropSumOfElements	Sums elements given by a set variable
class	PropSymmetric	Propagator for symmetric sets x in set[y-offSet] <=> y in set[x-offSet]
class	PropUnion

Uses of Propagator in org.chocosolver.solver.constraints.ternary

Subclasses of Propagator in org.chocosolver.solver.constraints.ternary

Modifier and Type	Class	Description
class	AbstractPropDistanceXYZ	A constraint to state |X - Y| operator Z where operator can be =, <=, <, >=, > and X, Y, and Z are variables Warning: only achieves BoundConsistency for the moment !
class	PropDivXYZ	X/Y = Z A propagator for the constraint Z = X / Y where X, Y and Z are integer, possibly negative, variables The filtering algorithm both supports bounded and enumerated integer variables
class	PropEQDistanceXYZ
class	PropGEDistanceXYZ
class	PropGTDistanceXYZ
class	PropLEDistanceXYZ
class	PropLTDistanceXYZ
class	PropMaxBC	X = MAX(Y,Z) ensures bound consistency
class	PropMinBC	X = MIN(Y,Z) ensures bound consistency
class	PropModXYZ	X % Y = Z A propagator for the constraint Z = X % Y where X, Y and Z are integer, possibly negative, variables The filtering algorithm both supports bounded and enumerated integer variables
class	PropTimesNaive	V0 * V1 = V2
class	PropXplusYeqZ	A propagator to ensure that X + Y = Z holds, where X, Y and Z are IntVar.

Uses of Propagator in org.chocosolver.solver.constraints.unary

Subclasses of Propagator in org.chocosolver.solver.constraints.unary

Modifier and Type	Class	Description
class	PropEqualXC	Unary propagator ensuring: X = C, where X is a variable and C is a constant
class	PropGreaterOrEqualXC	X >= C
class	PropLessOrEqualXC	X <= C
class	PropMember	This propagator manages a singleton nogood.
class	PropNotEqualXC	A propagator ensuring that: X =/= C, where X is a variable and C a constant
class	PropNotMember	This propagator manages a singleton nogood.

Constructors in org.chocosolver.solver.constraints.unary with parameters of type Propagator

Constructor	Description
Member(IntVar var, int lb, int ub, IntIterableRangeSet values, Propagator prop)
NotMember(IntVar var, int lb, int ub, IntIterableRangeSet values, Propagator prop)

Uses of Propagator in org.chocosolver.solver.propagation

Methods in org.chocosolver.solver.propagation with parameters of type Propagator

Modifier and Type	Method	Description
void	PropagationEngine.delayedPropagation(Propagator propagator, PropagatorEventType type)	Exeucte a delayed propagator
void	PropagationEngine.desactivatePropagator(Propagator propagator)	Set the propagator as inactivated within the propagation engine
void	PropagationEngine.dynamicAddition(boolean permanent, Propagator... ps)	Add a constraint to the propagation engine
void	PropagationEngine.dynamicDeletion(Propagator... ps)	Delete the list of propagators in input from the engine
void	PropagationEngine.execute(Propagator propagator)	Execute 'coarse' propagation on a newly added propagator or one that should be propagated on backtrack
void	PropagationEngine.onPropagatorExecution(Propagator propagator)	Action to do when a propagator is executed
void	PropagationEngine.propagateOnBacktrack(Propagator propagator)	Update the scope of variable of a propagator (addition or deletion are allowed -- p.vars are scanned)
void	PropagationEngine.schedule(Propagator prop, int pindice, int mask)
void	PropagationEngine.updateInvolvedVariables(Propagator p)	Update the scope of variable of a propagator (addition or deletion are allowed -- p.vars are scanned)

Uses of Propagator in org.chocosolver.solver.variables

Methods in org.chocosolver.solver.variables that return Propagator

Modifier and Type	Method	Description
Propagator	Variable.getPropagator(int idx)	Return the "idx" th propagator of this
Propagator[]	Variable.getPropagators()	Return the array of propagators this

Methods in org.chocosolver.solver.variables with parameters of type Propagator

Modifier and Type	Method	Description
int	Variable.link(Propagator propagator, int idxInProp)	Link the propagator to this
int	Variable.swapOnActivate(Propagator propagator, int idxInProp)	The propagator will be informed back of any modification of this.
int	Variable.swapOnPassivate(Propagator propagator, int idxInProp)	The propagator will not be informed of any modification of this anymore.
void	Variable.unlink(Propagator propagator, int idxInProp)	Remove a propagator from the list of propagator of this.

Uses of Propagator in org.chocosolver.solver.variables.impl

Fields in org.chocosolver.solver.variables.impl declared as Propagator

Modifier and Type	Field	Description
protected Propagator[]	AbstractVariable.propagators	List of propagators of this variable.

Methods in org.chocosolver.solver.variables.impl that return Propagator

Modifier and Type	Method	Description
Propagator	AbstractVariable.getPropagator(int idx)
Propagator[]	AbstractVariable.getPropagators()

Methods in org.chocosolver.solver.variables.impl with parameters of type Propagator

Modifier and Type	Method	Description
int	AbstractVariable.link(Propagator propagator, int idxInProp)
int	AbstractVariable.swapOnActivate(Propagator propagator, int idxInProp)
int	AbstractVariable.swapOnPassivate(Propagator propagator, int idxInProp)
void	AbstractVariable.unlink(Propagator propagator, int idxInProp)