Uses of Interface
choco.kernel.solver.propagation.listener.IntPropagator

Packages that use IntPropagator
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.variables.integer   
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   
samples.jobshop   
samples.multicostregular.nsp   
samples.multicostregular.planner   
samples.tutorials.to_sort.socialgolfer   
samples.tutorials.to_sort.tsp   
 

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

Classes in choco.cp.solver.constraints.global that implement IntPropagator
 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 IntPropagator in choco.cp.solver.constraints.global.automata.fast_costregular
 

Classes in choco.cp.solver.constraints.global.automata.fast_costregular that implement IntPropagator
 class CostKnapSack
          Created by IntelliJ IDEA.
 class CostRegular
          Created by IntelliJ IDEA.
 

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

Classes in choco.cp.solver.constraints.global.automata.fast_multicostregular that implement IntPropagator
 class MultiCostRegular
          Created by IntelliJ IDEA.
 class SoftMultiCostRegular
          Created by IntelliJ IDEA.
 

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

Classes in choco.cp.solver.constraints.global.automata.fast_regular that implement IntPropagator
 class FastRegular
          Created by IntelliJ IDEA.
 

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

Classes in choco.cp.solver.constraints.global.matching that implement IntPropagator
 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 IntPropagator in choco.cp.solver.constraints.global.ordered
 

Classes in choco.cp.solver.constraints.global.ordered that implement IntPropagator
 class OrderedGcc
           
 

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

Classes in choco.cp.solver.constraints.global.pack that implement IntPropagator
 class PackSConstraint
          Pack which maintains a primal-dual packing model.
 

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

Classes in choco.cp.solver.constraints.global.regular that implement IntPropagator
 class Regular
          Created by IntelliJ IDEA.
 

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

Classes in choco.cp.solver.constraints.global.scheduling that implement IntPropagator
 class AbstractResourceSConstraint
           
 class AbstractUseResourcesSConstraint
           
 class UseResourcesEq
           
 class UseResourcesGeq
           
 

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

Classes in choco.cp.solver.constraints.global.scheduling.cumulative that implement IntPropagator
 class AbstractCumulativeSConstraint
           
 class AltCumulative
           
 class Cumulative
           
 

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

Classes in choco.cp.solver.constraints.global.scheduling.disjunctive that implement IntPropagator
 class AltDisjunctive
           
 class Disjunctive
           
 class ForbiddenIntervals
          specialized filtering for makespan minimization on unary resource.
 

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

Classes in choco.cp.solver.constraints.global.scheduling.precedence that implement IntPropagator
 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 IntPropagator in choco.cp.solver.constraints.global.softscheduling
 

Classes in choco.cp.solver.constraints.global.softscheduling that implement IntPropagator
 class AbstractSoftCumulative
           
 class SoftCumulative
           
 class SoftCumulativeSum
           
 

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

Classes in choco.cp.solver.constraints.global.tree that implement IntPropagator
 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 IntPropagator in choco.cp.solver.constraints.integer
 

Classes in choco.cp.solver.constraints.integer that implement IntPropagator
 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 IntPropagator in choco.cp.solver.constraints.integer.bool
 

Classes in choco.cp.solver.constraints.integer.bool that implement IntPropagator
 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 IntPropagator in choco.cp.solver.constraints.integer.bool.sat
 

Classes in choco.cp.solver.constraints.integer.bool.sat that implement IntPropagator
 class ClauseStore
          A global constraint to store and propagate all clauses
 

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

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

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

Classes in choco.cp.solver.constraints.integer.channeling that implement IntPropagator
 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 IntPropagator in choco.cp.solver.constraints.integer.extension
 

Classes in choco.cp.solver.constraints.integer.extension that implement IntPropagator
 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 IntPropagator in choco.cp.solver.constraints.integer.soft
 

Classes in choco.cp.solver.constraints.integer.soft that implement IntPropagator
 class SoftIntSConstraint
           
 

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

Classes in choco.cp.solver.constraints.real that implement IntPropagator
 class MixedCstElt
          Let x be an integer variable with n values and v be a real variable.
 class MixedEqXY
           
 

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

Classes in choco.cp.solver.constraints.reified that implement IntPropagator
 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 IntPropagator in choco.cp.solver.constraints.set
 

Classes in choco.cp.solver.constraints.set that implement IntPropagator
 class AbstractBoundOfASet
          An abstract class used for MaxOfASet and MinOfaSet constraints
 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 InverseSetInt
          A constraint stating that value j belongs to the s[i] set variable iff integer variable x[j] equals to i.
 class MaxOfASet
          Implements a constraint X = max(Y_i | i \in S).
 class MemberXiY
          MEMBERXiY(〈X1,...
 class MemberXY
          Ensure that an int variable belongs to a set variable
 class MinOfASet
           
 class NotMemberXY
          Ensure that an int variable does not belong to a set variable
 class SetCard
           
 

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

Subinterfaces of IntPropagator in choco.cp.solver.constraints.strong
 interface ISpecializedConstraint
           
 

Classes in choco.cp.solver.constraints.strong that implement IntPropagator
 class AbstractStrongConsistency<MyVariable extends SCVariable<? extends SCConstraint>>
           
 class Adapter
           
 

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

Classes in choco.cp.solver.constraints.strong.maxrpcrm that implement IntPropagator
 class MaxRPCrm
           
 

Uses of IntPropagator in choco.cp.solver.variables.integer
 

Classes in choco.cp.solver.variables.integer with type parameters of type IntPropagator
 class BooleanVarImpl<C extends AbstractSConstraint & IntPropagator>
          A variable implementation dedicated to boolean domains
 class BoolVarEvent<C extends AbstractSConstraint & IntPropagator>
          An event dedicated to boolean variables
 class IntCsteEvent<C extends AbstractSConstraint & IntPropagator>
           
 class IntDomainVarImpl<C extends AbstractSConstraint & IntPropagator>
          Implements search valued domain variables.
 class IntVarEvent<C extends AbstractSConstraint & IntPropagator>
           
 

Uses of IntPropagator in choco.kernel.solver.constraints
 

Classes in choco.kernel.solver.constraints that implement IntPropagator
 class ConstantSConstraint
           
 

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

Classes in choco.kernel.solver.constraints.global.matching that implement IntPropagator
 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 IntPropagator in choco.kernel.solver.constraints.global.scheduling
 

Classes in choco.kernel.solver.constraints.global.scheduling that implement IntPropagator
 class AbstractTaskSConstraint
           
 

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

Classes in choco.kernel.solver.constraints.integer that implement IntPropagator
 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 IntPropagator in choco.kernel.solver.constraints.integer.extension
 

Classes in choco.kernel.solver.constraints.integer.extension that implement IntPropagator
 class CspBinSConstraint
           
 

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

Classes in choco.kernel.solver.constraints.real that implement IntPropagator
 class AbstractBinRealIntSConstraint
           
 class AbstractMixedSRealIntSConstraint
          An interface for mixed constraint : interger and flot variables.
 

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

Classes in choco.kernel.solver.constraints.set that implement IntPropagator
 class AbstractBinSetIntSConstraint
           
 class AbstractLargeSetIntSConstraint
          A class to represent a large constraint including both set and int variables in its scope.
 class AbstractMixedSetIntSConstraint
          A class for mixed set and int constraint.
 

Uses of IntPropagator in samples.jobshop
 

Classes in samples.jobshop that implement IntPropagator
 class SimpleDTConstraint
           
 

Uses of IntPropagator in samples.multicostregular.nsp
 

Classes in samples.multicostregular.nsp that implement IntPropagator
 class NSPStruct
          Created by IntelliJ IDEA.
 

Uses of IntPropagator in samples.multicostregular.planner
 

Classes in samples.multicostregular.planner that implement IntPropagator
 class SimpleChannelling
          Created by IntelliJ IDEA.
 class SubSetChannelling
          Created by IntelliJ IDEA.
 

Uses of IntPropagator in samples.tutorials.to_sort.socialgolfer
 

Classes in samples.tutorials.to_sort.socialgolfer that implement IntPropagator
 class ScalarAtMost
           
 

Uses of IntPropagator in samples.tutorials.to_sort.tsp
 

Classes in samples.tutorials.to_sort.tsp that implement IntPropagator
 class MinSpanningTree
           
 class SubTourConstraint
           
 



Copyright © 2012. All Rights Reserved.