Uses of Class
choco.kernel.solver.constraints.integer.AbstractLargeIntSConstraint

Packages that use AbstractLargeIntSConstraint
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.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.reified   
choco.cp.solver.constraints.strong   
choco.cp.solver.constraints.strong.maxrpcrm   
choco.kernel.solver.constraints.global.matching   
choco.kernel.solver.constraints.global.scheduling   
choco.kernel.solver.constraints.integer A package devoted to constraints over integers. 
samples.multicostregular.nsp   
samples.multicostregular.planner   
samples.tutorials.to_sort.socialgolfer   
samples.tutorials.to_sort.tsp   
 

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

Subclasses of AbstractLargeIntSConstraint 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 AbstractLargeIntSConstraint in choco.cp.solver.constraints.global.automata.fast_costregular
 

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

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

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

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

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

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

Subclasses of AbstractLargeIntSConstraint 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 AbstractLargeIntSConstraint in choco.cp.solver.constraints.global.ordered
 

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

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

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

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

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

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

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

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

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

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

Subclasses of AbstractLargeIntSConstraint 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 AbstractLargeIntSConstraint in choco.cp.solver.constraints.global.softscheduling
 

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

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

Subclasses of AbstractLargeIntSConstraint 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 AbstractLargeIntSConstraint in choco.cp.solver.constraints.integer
 

Subclasses of AbstractLargeIntSConstraint in choco.cp.solver.constraints.integer
 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 GreaterOrEqualXC
          Implements a constraint X >= C, with X a variable 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 MaxOfAList
          Implements a constraint X = max(Y_0, Y_1...Y_n).
 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 NotEqualXC
          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
 

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

Subclasses of AbstractLargeIntSConstraint in choco.cp.solver.constraints.integer.bool
 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 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 AbstractLargeIntSConstraint in choco.cp.solver.constraints.integer.bool.sat
 

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

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

Subclasses of AbstractLargeIntSConstraint 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 AbstractLargeIntSConstraint in choco.cp.solver.constraints.integer.channeling
 

Subclasses of AbstractLargeIntSConstraint in choco.cp.solver.constraints.integer.channeling
 class DomainChanneling
          Constraints that map the boolean assignments variables (bvars) with the standard assignment variables (var).
 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 AbstractLargeIntSConstraint in choco.cp.solver.constraints.integer.extension
 

Subclasses of AbstractLargeIntSConstraint in choco.cp.solver.constraints.integer.extension
 class CspLargeSConstraint
           
 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 AbstractLargeIntSConstraint in choco.cp.solver.constraints.integer.soft
 

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

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

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

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

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

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

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

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

Subclasses of AbstractLargeIntSConstraint 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 AbstractLargeIntSConstraint in choco.kernel.solver.constraints.global.scheduling
 

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

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

Subclasses of AbstractLargeIntSConstraint in choco.kernel.solver.constraints.integer
 class AbstractUnIntSConstraint
          An abstract class for all implementations of (unary) listeners over one search variable.
 

Uses of AbstractLargeIntSConstraint in samples.multicostregular.nsp
 

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

Uses of AbstractLargeIntSConstraint in samples.multicostregular.planner
 

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

Uses of AbstractLargeIntSConstraint in samples.tutorials.to_sort.socialgolfer
 

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

Uses of AbstractLargeIntSConstraint in samples.tutorials.to_sort.tsp
 

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



Copyright © 2012. All Rights Reserved.