Uses of Class
choco.kernel.solver.propagation.Propagator

Packages that use Propagator
choco.cp.solver.constraints.global   
choco.cp.solver.constraints.global.automata.fast_costregular   
choco.cp.solver.constraints.global.automata.fast_multicostregular   
choco.cp.solver.constraints.global.automata.fast_regular   
choco.cp.solver.constraints.global.matching   
choco.cp.solver.constraints.global.ordered   
choco.cp.solver.constraints.global.pack   
choco.cp.solver.constraints.global.regular   
choco.cp.solver.constraints.global.scheduling   
choco.cp.solver.constraints.global.scheduling.cumulative   
choco.cp.solver.constraints.global.scheduling.disjunctive   
choco.cp.solver.constraints.global.scheduling.precedence   
choco.cp.solver.constraints.global.softscheduling   
choco.cp.solver.constraints.global.tree   
choco.cp.solver.constraints.integer   
choco.cp.solver.constraints.integer.bool   
choco.cp.solver.constraints.integer.bool.sat   
choco.cp.solver.constraints.integer.bool.sum   
choco.cp.solver.constraints.integer.channeling   
choco.cp.solver.constraints.integer.extension   
choco.cp.solver.constraints.integer.soft   
choco.cp.solver.constraints.real   
choco.cp.solver.constraints.reified   
choco.cp.solver.constraints.set   
choco.cp.solver.constraints.strong   
choco.cp.solver.constraints.strong.maxrpcrm   
choco.cp.solver.propagation   
choco.kernel.common.util.objects   
choco.kernel.solver.constraints   
choco.kernel.solver.constraints.global.matching   
choco.kernel.solver.constraints.global.scheduling   
choco.kernel.solver.constraints.integer A package devoted to constraints over integers. 
choco.kernel.solver.constraints.integer.extension   
choco.kernel.solver.constraints.real A package devoted continuous constraints. 
choco.kernel.solver.constraints.set   
choco.kernel.solver.propagation A package of classes devoted to the event model of constraint propagation.
choco.kernel.solver.propagation.event   
samples.jobshop   
samples.multicostregular.nsp   
samples.multicostregular.planner   
samples.tutorials.to_sort.socialgolfer   
samples.tutorials.to_sort.tsp   
 

Uses of Propagator in choco.cp.solver.constraints.global
 

Subclasses of Propagator in choco.cp.solver.constraints.global
 class AmongGAC
          User : cprudhom, fhermenie Mail : cprudhom(a)emn.fr Date : 22 fevr. 2010 Since : Choco 2.1.1

GCCAT: NVAR is the number of variables of the collection VARIABLES that take their value in VALUES.

 class AtMostNValue
          Enforce the number of identical values wihtin a list of variables to be at most a given variable.
 class BoundAllDiff
           
 class BoundGcc
          A constraint to enforce BoundConsistency on a global cardinality based on the implementation of : C.
 class BoundGccVar
          User: hcambaza Bound Global cardinality : Given an array of variables vars, an array of variables card to represent the cardinalities, the constraint ensures that the number of occurences of the value i among the variables is equal to card[i].
 class Exactly
          User : cprudhom Mail : cprudhom(a)emn.fr Date : 22 f�vr. 2010 Since : Choco 2.1.1 GCCAT: NVAR is the number of variables of the collection VARIABLES that take their value in VALUES.
 class Geost_Constraint
           
 class IncreasingNValue
          User : xlorca Mail : xlorca(a)emn.fr Date : 29 janv. 2010 Since : Choco 2.1.1
 class Lex
          Enforce a lexicographic ordering on two vectors of integer variables x <_lex y with x = , and y = .
 class LexChain
          Created by IntelliJ IDEA.
 class LeximinSConstraint
          SemiLeximinConstraint is a constraint that ensures the leximin ordering between one vector of variables and one of integers.
 class Occurrence
           
 class SemiLeximinSConstraint
          SemiLeximinConstraint is a constraint that ensures the leximin ordering between one vector of variables and one of integers.
 class SortingSConstraint
          SortingConstraint is a constraint that ensures that a vector is the sorted version of a second one.
 

Uses of Propagator in choco.cp.solver.constraints.global.automata.fast_costregular
 

Subclasses of Propagator in choco.cp.solver.constraints.global.automata.fast_costregular
 class CostKnapSack
          Created by IntelliJ IDEA.
 class CostRegular
          Created by IntelliJ IDEA.
 

Uses of Propagator in choco.cp.solver.constraints.global.automata.fast_multicostregular
 

Subclasses of Propagator in choco.cp.solver.constraints.global.automata.fast_multicostregular
 class MultiCostRegular
          Created by IntelliJ IDEA.
 class SoftMultiCostRegular
          Created by IntelliJ IDEA.
 

Uses of Propagator in choco.cp.solver.constraints.global.automata.fast_regular
 

Subclasses of Propagator in choco.cp.solver.constraints.global.automata.fast_regular
 class FastRegular
          Created by IntelliJ IDEA.
 

Uses of Propagator in choco.cp.solver.constraints.global.matching
 

Subclasses of Propagator in choco.cp.solver.constraints.global.matching
 class AllDifferent
          Standard alldiff constraint with generalized AC integer valued variables are used only for the left vertex set no explicit variables are used for the right vertex set the right vertex set is the interval (minValue .. maxValue)
 class GlobalCardinality
          very simple version of the cardinality constraint where the values the set of values whose occurrences are counted in the interval (minValue .. maxValue)
 class GlobalCardinalityVar
          Simple implementation of global cardinality constraint with occurrence constrained by variables and not only integer bounds.
 

Uses of Propagator in choco.cp.solver.constraints.global.ordered
 

Subclasses of Propagator in choco.cp.solver.constraints.global.ordered
 class OrderedGcc
           
 

Uses of Propagator in choco.cp.solver.constraints.global.pack
 

Subclasses of Propagator in choco.cp.solver.constraints.global.pack
 class PackSConstraint
          Pack which maintains a primal-dual packing model.
 

Uses of Propagator in choco.cp.solver.constraints.global.regular
 

Subclasses of Propagator in choco.cp.solver.constraints.global.regular
 class Regular
          Created by IntelliJ IDEA.
 

Uses of Propagator in choco.cp.solver.constraints.global.scheduling
 

Subclasses of Propagator in choco.cp.solver.constraints.global.scheduling
 class AbstractResourceSConstraint
           
 class AbstractUseResourcesSConstraint
           
 class TempTaskConstraintWrapper
           
 class UseResourcesEq
           
 class UseResourcesGeq
           
 

Uses of Propagator in choco.cp.solver.constraints.global.scheduling.cumulative
 

Subclasses of Propagator in choco.cp.solver.constraints.global.scheduling.cumulative
 class AbstractCumulativeSConstraint
           
 class AltCumulative
           
 class Cumulative
           
 

Uses of Propagator in choco.cp.solver.constraints.global.scheduling.disjunctive
 

Subclasses of Propagator in choco.cp.solver.constraints.global.scheduling.disjunctive
 class AltDisjunctive
           
 class Disjunctive
           
 class ForbiddenIntervals
          specialized filtering for makespan minimization on unary resource.
 

Uses of Propagator in choco.cp.solver.constraints.global.scheduling.precedence
 

Subclasses of Propagator in choco.cp.solver.constraints.global.scheduling.precedence
 class AbstractPrecedenceSConstraint
           
 class PrecedenceDisjoint
          Let b be a boolean variables; x1, x2 be two integer variables and k1, k2 two integers.
 class PrecedenceImplied
           
 class PrecedenceReified
           b = 1 <=> x1 + k1 <= x2 b = 0 <=> x1 + k1 > x2
 class PrecedenceVDisjoint
          if b is true then t1 ends before t2, otherwise t2 ends before t1.
 class PrecedenceVSDisjoint
          The precedence disjoint constraint with setup times and variable duration.
 class VariablePrecedenceDisjoint
          Let b be a boolean variables; x0, x1 be two integer variables and k1, k2 two integers.
 

Uses of Propagator in choco.cp.solver.constraints.global.softscheduling
 

Subclasses of Propagator in choco.cp.solver.constraints.global.softscheduling
 class AbstractSoftCumulative
           
 class SoftCumulative
           
 class SoftCumulativeSum
           
 

Uses of Propagator in choco.cp.solver.constraints.global.tree
 

Subclasses of Propagator in choco.cp.solver.constraints.global.tree
 class TreeSConstraint
           A global tree partitioning constraint that deals with several restrictions: - The number of trees allowed to partition the graph (assuming an isolated node forms a tree), - The number of proper trees allowed to partition the graph (assuming a proper tree contains at least 2 nodes), - Partial order between the nodes of the digraph, - Incomparability relations between the nodes of the digraph, - Degree restrictions related to the number of incoming arc of each node, - Time windows associated with each node that represent the starting time from each node.
 

Uses of Propagator in choco.cp.solver.constraints.integer
 

Subclasses of Propagator in choco.cp.solver.constraints.integer
 class Absolute
          The absolute constraint X = |Y| is a binary constraint with X = v0 and Y = v1
 class DistanceXYC
           
 class DistanceXYZ
          A constraint to state |x0 - x1| operator x2 + c where operator can be =, <=, >= and x1, x2, x3 are variables Warning: only achieves BoundConsistency for the moment !
 class Element
           
 class Element2D
          Ensure that lvals[v0][v1] = v2 where lvals is an int[][] User: hcambaza Date: 16-Jan-2007 Time: 18:54:33
 class ElementG
           
 class ElementV
          A class implementing the constraint A[I] == X, with I and X being IntVars and A an array of IntVars
 class ElementVG
          A class implementing the constraint A[I] == X, with I and X being IntVars and A an array of IntVars
 class EqualXC
          Implements a constraint X = C, with X a variable and C a constant.
 class EqualXY_C
          Implements a constraint X + Y == C, with X and Y two variables and C a constant.
 class EqualXYC
          Implements a constraint X == Y + C, with X and Y two variables and C a constant.
 class EuclideanDivisionXYZ
           
 class GreaterOrEqualXC
          Implements a constraint X >= C, with X a variable and C a constant.
 class GreaterOrEqualXY_C
          Implements a constraint X + Y >= C, with X and Y two variables and C a constant.
 class GreaterOrEqualXYC
          Implements a constraint X >= Y + C, with X and Y two variables and C a constant.
 class IncreasingSum
          A sum constraint with increasing variables s = x_0 + x_1 + ... + x_(n-1) and x_0 <= x_1 <= ... <= x_(n-1) Bounds-consistency algorithm linear in n (the number of variables)

See "A O(n) Bound-Consistency Algorithm for the Increasing Sum Constraint",
T.

 class IntLinComb
          Implements a constraint Sigma (ai Xi) <=/>=/= C, with Xi variables, ai and C constants.
 class InverseChanneling
           
 class InverseChannelingWithinRange
          Created by IntelliJ IDEA.
 class LessOrEqualXC
          Implements a constraint X <= C, with X a variable and C a constant.
 class LessOrEqualXY_C
          Implements a constraint X + Y <= C , with X and Y two variables and C a constant.
 class MaxOfAList
          Implements a constraint X = max(Y_0, Y_1...Y_n).
 class MaxXYZ
           
 class MemberBound
          User : cprudhom Mail : cprudhom(a)emn.fr Date : 22 f�vr. 2010 Since : Choco 2.1.1
 class MemberEnum
          User : cprudhom Mail : cprudhom(a)emn.fr Date : 22 f�vr. 2010 Since : Choco 2.1.1
 class MinOfAList
          Implements a constraint X = min(Y_0, Y_1...Y_n).
 class MinXYZ
           
 class ModuloXYC2
          Created by IntelliJ IDEA.
 class NotEqualXC
          Implements a constraint X !
 class NotEqualXY_C
          Implements a constraint X + Y !
 class NotEqualXYC
          Implements a constraint X !
 class NotMemberBound
          User : cprudhom Mail : cprudhom(a)emn.fr Date : 22 f�vr. 2010 Since : Choco 2.1.1
 class NotMemberEnum
          User : cprudhom Mail : cprudhom(a)emn.fr Date : 22 f�vr. 2010 Since : Choco 2.1.1
 class SignOp
           
 class TimesXYZ
          a constraint modelling X * Y = Z [BUG 3297805]: fix
 

Uses of Propagator in choco.cp.solver.constraints.integer.bool
 

Subclasses of Propagator in choco.cp.solver.constraints.integer.bool
 class BinAnd
           
 class BinNand
          maintain v1 NAND v2 where v1 and v2 are boolean variables i.e variables of domain {0,1}
 class BinNor
           
 class BinOr
          maintaint v1 Or v2 where v1 and v2 are boolean variables i.e variables of domain {0,1}
 class BinXnor
           
 class BinXor
           
 class BoolIntLinComb
          A constraint to enforce Sigma_i coef[i]*x_i + k OP y_i where : - OP belongs to >=, <=, = - k is a constant - x_i are boolean variable - t_i is an enum variable It improves the general IntLinComb by storing lower and upper bound of the expression and sorting coefficient for filtering.
 class BoolTimesXYZ
          A simple Product constraint between boolean variables : x * y = z
 class Identity
          User : cprudhom
Mail : cprudhom(a)emn.fr
Date : 18 mai 2010
Since : Choco 2.1.1
maintain v1 is true where v1 is a boolean variable, domain = {0,1}
 class LargeAnd
           
 class LargeNand
           
 class LargeNor
           
 class LargeOr
           
 class LargeXnor
           
 class LargeXor
           
 class Not
          User : cprudhom
Mail : cprudhom(a)emn.fr
Date : 18 mai 2010
Since : Choco 2.1.1
maintain v1 is false where v1 is a boolean variable, domain = {0,1}
 

Uses of Propagator in choco.cp.solver.constraints.integer.bool.sat
 

Subclasses of Propagator in choco.cp.solver.constraints.integer.bool.sat
 class ClauseStore
          A global constraint to store and propagate all clauses
 

Uses of Propagator in choco.cp.solver.constraints.integer.bool.sum
 

Subclasses of Propagator in choco.cp.solver.constraints.integer.bool.sum
 class AbstractBoolSum
          A special case of sums over boolean variables only
 class EqBoolSum
           
 class GeqBoolSum
           
 class LeqBoolSum
           
 class NeqBoolSum
           
 

Uses of Propagator in choco.cp.solver.constraints.integer.channeling
 

Subclasses of Propagator in choco.cp.solver.constraints.integer.channeling
 class BooleanChanneling
          a simple channeling constraint : y_ij = 1 si x_i = j y_ij = 0 sinon
 class DomainChanneling
          Constraints that map the boolean assignments variables (bvars) with the standard assignment variables (var).
 class ReifiedBinImplication
           
 class ReifiedBinXnor
          A constraint that ensures : b = x1 xnor x2 ...
 class ReifiedBinXor
          A constraint that ensures : b = x1 xor x2 ... xor xn where b, and x1,... xn are boolean variables (of domain {0,1})
 class ReifiedLargeAnd
           
 class ReifiedLargeNand
          User : cprudhom
Mail : cprudhom(a)emn.fr
Date : 18 mai 2010
Since : Choco 2.1.1
A constraint that ensures : b = x1 NAND x2 ...
 class ReifiedLargeNor
          User : cprudhom
Mail : cprudhom(a)emn.fr
Date : 18 mai 2010
Since : Choco 2.1.1
A constraint that ensures : b = x1 NOR x2 ...
 class ReifiedLargeOr
          A constraint that ensures : b = x1 OR x2 ...
 

Uses of Propagator in choco.cp.solver.constraints.integer.extension
 

Subclasses of Propagator in choco.cp.solver.constraints.integer.extension
 class AC2001BinSConstraint
           
 class AC3BinSConstraint
           
 class AC3rmBinSConstraint
          The AC3rm algorithm.
 class AC3rmBitBinSConstraint
           
 class CspLargeSConstraint
           
 class FCBinSConstraint
          A binary constraint for simple forward checking
 class GAC2001LargeSConstraint
          GAC 2001 in valid tuples (do not support bound variables)
 class GAC2001PositiveLargeConstraint
          GAC2001 in allowed tuples
 class GAC3rmLargeConstraint
           
 class GAC3rmPositiveLargeConstraint
          GAC3rm (GAC3 with residual supports)
 class GACstrPositiveLargeSConstraint
          GAC maintained by STR
 

Uses of Propagator in choco.cp.solver.constraints.integer.soft
 

Subclasses of Propagator in choco.cp.solver.constraints.integer.soft
 class SoftIntSConstraint
           
 

Uses of Propagator in choco.cp.solver.constraints.real
 

Subclasses of Propagator in choco.cp.solver.constraints.real
 class Equation
          A basic constraint using HC4 algorithm for filtering values with respect to a mathematical equation.
 class MixedCstElt
          Let x be an integer variable with n values and v be a real variable.
 class MixedEqXY
           
 

Uses of Propagator in choco.cp.solver.constraints.reified
 

Subclasses of Propagator in choco.cp.solver.constraints.reified
 class IfThenElse
          A constraint to state : if (bool = 1) cons else othercons
 class ReifiedAllSConstraint
          A constraint that allows to reify another constraint into a boolean value.
 class ReifiedIntSConstraint
          A constraint that allows to reify another constraint into a boolean value.
 

Uses of Propagator in choco.cp.solver.constraints.set
 

Subclasses of Propagator in choco.cp.solver.constraints.set
 class AbstractBoundOfASet
          An abstract class used for MaxOfASet and MinOfaSet constraints
 class AllDisjoint
           
 class AmongSet
          User : cprudhom Mail : cprudhom(a)emn.fr Date : 23 f�vr. 2010 Since : Choco 2.1.1

NVAR is the number of variables of the collection VARIABLES that take their value in SVAR.

 class ComplementSet
          Created by IntelliJ IDEA.
 class Disjoint
          A constraint stating that two sets have to be disjoint : It is based on two propagation rules : Env(v1) disjoint Ker(v2) Env(v2) disjoint Ker(v1)
 class InverseSet
          Created by IntelliJ IDEA.
 class InverseSetInt
          A constraint stating that value j belongs to the s[i] set variable iff integer variable x[j] equals to i.
 class IsIncluded
          Specify a constraint to state x included y
 class IsNotIncluded
           
 class MaxOfASet
          Implements a constraint X = max(Y_i | i \in S).
 class MemberX
          Enforce a value to belong to a setVar
 class MemberXiY
          MEMBERXiY(〈X1,...
 class MemberXY
          Ensure that an int variable belongs to a set variable
 class MinOfASet
           
 class NotMemberX
          Ensure that a value will not belong to a setVar
 class NotMemberXY
          Ensure that an int variable does not belong to a set variable
 class SetCard
           
 class SetEq
           
 class SetIntersection
          A constraint stating that a set is the intersection of two others There are seven propagation rules for the constraint sv3 = intersection(sv1, sv2) Ker(sv1) contains Ker(sv3) Ker(sv2) contains Ker(sv3) Ker(sv3) contains (Ker(sv1) inter Ker(sv2)) Env(v3) disjoint Complement(Env(v1)) Env(v3) disjoint Complement(Env(v2)) Env(v2) disjoint Ker(v1) inter Complement(Env(v3)) Env(v1) disjoint Ker(v2) inter Complement(Env(v3))
 class SetLexicographicOrdering
          Created by IntelliJ IDEA.
 class SetNaryUnion
           
 class SetNotEq
          A constraint to state that two set vars can not be equal
 class SetUnion
          A constraint stating that a set is the union of two others There are seven propagation rules for the constraint sv3 = union(sv1, sv2) Ker(sv1) contains Ker(sv3) Ker(sv2) contains Ker(sv3) Ker(sv3) contains (Ker(sv1) inter Ker(sv2)) Env(v3) disjoint Complement(Env(v1)) Env(v3) disjoint Complement(Env(v2)) Env(v2) disjoint Ker(v1) inter Complement(Env(v3)) Env(v1) disjoint Ker(v2) inter Complement(Env(v3))
 class SetValuePrecede
          Created by IntelliJ IDEA.
 

Uses of Propagator in choco.cp.solver.constraints.strong
 

Subclasses of Propagator in choco.cp.solver.constraints.strong
 class AbstractStrongConsistency<MyVariable extends SCVariable<? extends SCConstraint>>
           
 class Adapter
           
 

Uses of Propagator in choco.cp.solver.constraints.strong.maxrpcrm
 

Subclasses of Propagator in choco.cp.solver.constraints.strong.maxrpcrm
 class MaxRPCrm
           
 

Uses of Propagator in choco.cp.solver.propagation
 

Methods in choco.cp.solver.propagation with parameters of type Propagator
 void ChocoEngine.desactivatePropagator(Propagator propagator)
          Desactivate a constraint.
 boolean ChocoEngine.postConstAwake(Propagator constraint, boolean init)
          Post a constraint event.
 void ChocoEngine.registerPropagator(Propagator c)
          Register a constraint.
 

Uses of Propagator in choco.kernel.common.util.objects
 

Methods in choco.kernel.common.util.objects with parameters of type Propagator
 void ConstraintCollection.add(Propagator constraint)
          Adds a new constraint in the explain.
 boolean ConstraintCollection.contains(Propagator ct)
          currentElement if a constraint is in the collection
 void ConstraintCollection.delete(Propagator constraint)
          Deletes a constraint from the explain.
 

Uses of Propagator in choco.kernel.solver.constraints
 

Subclasses of Propagator in choco.kernel.solver.constraints
 class AbstractSConstraint<V extends Var>
          An abstract class for all implementations of listeners
 class ConstantSConstraint
           
 

Methods in choco.kernel.solver.constraints that return types with arguments of type Propagator
 Iterator<Propagator> SConstraintCollection.iterator()
          get an iterator over the collection of constraint.
 

Methods in choco.kernel.solver.constraints with parameters of type Propagator
 void SConstraintCollection.add(Propagator constraint)
          Adds a new constraint in the explain.
 boolean SConstraintCollection.contains(Propagator ct)
          currentElement if a constraint is in the collection
 void SConstraintCollection.delete(Propagator constraint)
          Deletes a constraint from the explain.
 

Uses of Propagator in choco.kernel.solver.constraints.global.matching
 

Subclasses of Propagator in choco.kernel.solver.constraints.global.matching
 class AbstractBipartiteFlow
          A general assignment constraint with constraints on the flow bounds
 class AbstractBipartiteGraph
          An abstract class encoding assignment graphs (matching each left vertex with one single right vertex) We consider a flow in the graph by adding a source linked to all right vertices and a sink linked to all left vertices

It is based on computing the strongly connected components of the residual graph, then remove arcs connecting two different strongly connected components

Computing the strongly connected components is done by an algorithm of Aho, Hopcroft, Ullman using depth first search (Cormen, Leiserson, p. 478, p. 489)

Note (EGA) on ice traduction from claire to java : class StrongConnectionDecomposition have been included in this one

 class AbstractBipartiteMatching
          A subclass of AbtractBipartiteGraph restricted only to matchings (and not flows).
 

Uses of Propagator in choco.kernel.solver.constraints.global.scheduling
 

Subclasses of Propagator in choco.kernel.solver.constraints.global.scheduling
 class AbstractTaskSConstraint
           
 

Uses of Propagator in choco.kernel.solver.constraints.integer
 

Subclasses of Propagator in choco.kernel.solver.constraints.integer
 class AbstractBinIntSConstraint
          An abstract class for all implementations of (binary) constraints over two search variable.
 class AbstractIntSConstraint
          An abstract class for all implementations of listeners over search variables.
 class AbstractLargeIntSConstraint
          An abstract class for all implementations of listeners over many search variables.
 class AbstractTernIntSConstraint
          An abstract class for all implementations of (unary) listeners over one search variable.
 class AbstractUnIntSConstraint
          An abstract class for all implementations of (unary) listeners over one search variable.
 

Uses of Propagator in choco.kernel.solver.constraints.integer.extension
 

Subclasses of Propagator in choco.kernel.solver.constraints.integer.extension
 class CspBinSConstraint
           
 

Uses of Propagator in choco.kernel.solver.constraints.real
 

Subclasses of Propagator in choco.kernel.solver.constraints.real
 class AbstractBinRealIntSConstraint
           
 class AbstractLargeRealSConstraint
          A real constraint with an undetermined number of variables.
 class AbstractMixedSRealIntSConstraint
          An interface for mixed constraint : interger and flot variables.
 class AbstractRealSConstraint
          User : cprudhom Mail : cprudhom(a)emn.fr Date : 15 f�vr. 2010 Since : Choco 2.1.1
 class AbstractUnRealSConstraint
           
 

Uses of Propagator in choco.kernel.solver.constraints.set
 

Subclasses of Propagator in choco.kernel.solver.constraints.set
 class AbstractBinSetIntSConstraint
           
 class AbstractBinSetSConstraint
           
 class AbstractLargeSetIntSConstraint
          A class to represent a large constraint including both set and int variables in its scope.
 class AbstractLargeSetSConstraint
           
 class AbstractMixedSetIntSConstraint
          A class for mixed set and int constraint.
 class AbstractSetSConstraint
           
 class AbstractTernSetSConstraint
           
 class AbstractUnSetSConstraint
           
 

Uses of Propagator in choco.kernel.solver.propagation
 

Methods in choco.kernel.solver.propagation with parameters of type Propagator
 void PropagationEngine.desactivatePropagator(Propagator propagator)
          Desactivate a constraint.
 boolean PropagationEngine.postConstAwake(Propagator constraint, boolean init)
          Post a constraint event.
 void PropagationEngine.registerPropagator(Propagator propagator)
          Register a constraint.
 

Uses of Propagator in choco.kernel.solver.propagation.event
 

Constructors in choco.kernel.solver.propagation.event with parameters of type Propagator
ConstraintEvent(Propagator constraint, boolean init, int prio)
          Constructs a new var with the specified values for the fileds.
 

Uses of Propagator in samples.jobshop
 

Subclasses of Propagator in samples.jobshop
 class SimpleDTConstraint
           
 

Uses of Propagator in samples.multicostregular.nsp
 

Subclasses of Propagator in samples.multicostregular.nsp
 class NSPStruct
          Created by IntelliJ IDEA.
 

Uses of Propagator in samples.multicostregular.planner
 

Subclasses of Propagator in samples.multicostregular.planner
 class SimpleChannelling
          Created by IntelliJ IDEA.
 class SubSetChannelling
          Created by IntelliJ IDEA.
 

Uses of Propagator in samples.tutorials.to_sort.socialgolfer
 

Subclasses of Propagator in samples.tutorials.to_sort.socialgolfer
 class ScalarAtMost
           
 

Uses of Propagator in samples.tutorials.to_sort.tsp
 

Subclasses of Propagator in samples.tutorials.to_sort.tsp
 class MinSpanningTree
           
 class SubTourConstraint
           
 



Copyright © 2012. All Rights Reserved.