Uses of Interface
choco.IPretty

Packages that use IPretty
choco.cp.model   
choco.cp.solver   
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_multicostregular.example   
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.real.exp   
choco.cp.solver.constraints.reified   
choco.cp.solver.constraints.reified.leaves   
choco.cp.solver.constraints.reified.leaves.arithm   
choco.cp.solver.constraints.reified.leaves.bool   
choco.cp.solver.constraints.set   
choco.cp.solver.constraints.strong   
choco.cp.solver.constraints.strong.maxrpcrm   
choco.cp.solver.goals   
choco.cp.solver.goals.choice   
choco.cp.solver.preprocessor   
choco.cp.solver.search   
choco.cp.solver.variables.delta   
choco.cp.solver.variables.integer   
choco.cp.solver.variables.real   
choco.cp.solver.variables.set   
choco.kernel.common.util.tools   
choco.kernel.memory.structure   
choco.kernel.model The root package for the Constraint Programming Kernel.
choco.kernel.model.constraints   
choco.kernel.model.variables   
choco.kernel.model.variables.geost   
choco.kernel.model.variables.integer   
choco.kernel.model.variables.real   
choco.kernel.model.variables.scheduling   
choco.kernel.model.variables.set   
choco.kernel.model.variables.tree   
choco.kernel.solver   
choco.kernel.solver.constraints   
choco.kernel.solver.constraints.global   
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.real.exp A package devoted real expression, that is composition of operators over real variables. 
choco.kernel.solver.constraints.reified   
choco.kernel.solver.constraints.set   
choco.kernel.solver.goals   
choco.kernel.solver.goals.choice   
choco.kernel.solver.goals.solver   
choco.kernel.solver.search A package devoted to the the control of search algorithms.
choco.kernel.solver.search.limit   
choco.kernel.solver.search.restart   
choco.kernel.solver.variables   
choco.kernel.solver.variables.delta   
choco.kernel.solver.variables.integer A package devoted to the management of variables and domains for integers 
choco.kernel.solver.variables.real A package devoted to contiinuous domains and variables. 
choco.kernel.solver.variables.scheduling   
choco.kernel.solver.variables.set   
parser.instances.checker   
samples.jobshop   
samples.multicostregular.asap   
samples.multicostregular.carsequencing   
samples.multicostregular.nsp   
samples.multicostregular.planner   
samples.rackconfig   
samples.tutorials.lns.lns   
samples.tutorials.to_sort   
samples.tutorials.to_sort.socialgolfer   
samples.tutorials.to_sort.tsp   
 

Uses of IPretty in choco.cp.model
 

Classes in choco.cp.model that implement IPretty
 class CPModel
          A model is a global structure containing variables bound by listeners as well as solutions or strategy parameters
 class CPModel2
           
 

Uses of IPretty in choco.cp.solver
 

Classes in choco.cp.solver that implement IPretty
 class CPSolver
          This class serves both as a factory and as a handler for AbstractGlobalSearchSolvers:
 class CPSolverDis
           
 

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

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

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

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

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

Uses of IPretty in choco.cp.solver.constraints.global.automata.fast_multicostregular.example
 

Classes in choco.cp.solver.constraints.global.automata.fast_multicostregular.example that implement IPretty
 class RuleModel
          Created by IntelliJ IDEA.
 

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

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

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

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

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

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

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

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

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

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

Classes in choco.cp.solver.constraints.global.scheduling that implement IPretty
 class AbstractResourceSConstraint
           
 class AbstractUseResourcesSConstraint
           
 class BoundHRTask
           
 class EnumHRTask
           
 class RTask
           
 class TempTaskConstraintWrapper
           
 class UseResourcesEq
           
 class UseResourcesGeq
           
 

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Classes in choco.cp.solver.constraints.real that implement IPretty
 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 IPretty in choco.cp.solver.constraints.real.exp
 

Classes in choco.cp.solver.constraints.real.exp that implement IPretty
 class RealCos
          Expression evaluatiing the cos of its only one sub-expression.
 class RealIntegerPower
           
 class RealIntervalImpl
          Deprecated.  
 class RealMinus
          An expression modelling a substraction.
 class RealMult
          An expression modelling a multiplication.
 class RealPlus
          An expression modelling a real addition.
 class RealSin
          Expression evaluatiing the cos of its only one sub-expression.
 

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

Classes in choco.cp.solver.constraints.reified that implement IPretty
 class ExpressionSConstraint
          User: hcambaza A constraint to deal with complex expression of variables involving a wide range of operators
 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 IPretty in choco.cp.solver.constraints.reified.leaves
 

Classes in choco.cp.solver.constraints.reified.leaves that implement IPretty
 class ConstantLeaf
           
 class ConstraintLeaf
           
 class VariableLeaf
           
 

Uses of IPretty in choco.cp.solver.constraints.reified.leaves.arithm
 

Classes in choco.cp.solver.constraints.reified.leaves.arithm that implement IPretty
 class AbsNode
           
 class DistNode
           
 class DivNode
          Integer division
 class DoubleNode
          
 class IfThenElseNode
           
 class MaxNode
           
 class MinNode
           
 class MinusNode
           
 class ModNode
           
 class MultNode
          Created by IntelliJ IDEA.
 class NegNode
           
 class PlusNode
           
 class PowNode
           
 class ScalarNode
           
 class SquareRootNode
          User: charles Date: 20 août 2008 A node for integer square root, but too much roundy...
 

Uses of IPretty in choco.cp.solver.constraints.reified.leaves.bool
 

Classes in choco.cp.solver.constraints.reified.leaves.bool that implement IPretty
 class AbstractBoolNode
           
 class AndNode
           
 class DistEqNode
           
 class DistGtNode
           
 class DistLtNode
           
 class DistNeqNode
           
 class EqNode
           
 class FalseNode
           
 class GeqNode
           
 class GtNode
           
 class LeqNode
           
 class LtNode
           
 class NandNode
          User : cprudhom
Mail : cprudhom(a)emn.fr
Date : 18 mai 2010
Since : Choco 2.1.1
 class NeqNode
           
 class NorNode
          User : cprudhom
Mail : cprudhom(a)emn.fr
Date : 18 mai 2010
Since : Choco 2.1.1
 class NotNode
           
 class OppSignNode
           
 class OrNode
           
 class SameSignNode
           
 class TrueNode
           
 class XnorNode
           
 class XorNode
           
 

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

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

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

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

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

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

Uses of IPretty in choco.cp.solver.goals
 

Classes in choco.cp.solver.goals that implement IPretty
 class GlobalFail
           
 class Sequence
           
 

Uses of IPretty in choco.cp.solver.goals.choice
 

Classes in choco.cp.solver.goals.choice that implement IPretty
 class Generate
           
 class Instantiate
           
 

Uses of IPretty in choco.cp.solver.preprocessor
 

Classes in choco.cp.solver.preprocessor that implement IPretty
 class PreProcessCPSolver
           
 

Uses of IPretty in choco.cp.solver.search
 

Classes in choco.cp.solver.search that implement IPretty
 class SearchLimitManager
           
 

Uses of IPretty in choco.cp.solver.variables.delta
 

Classes in choco.cp.solver.variables.delta that implement IPretty
 class BipartiteDeltaDomain
           
 class BitSetDeltaDomain
           
 class BooleanDeltaDomain
           
 class IntervalDeltaDomain
           
 class StackDeltaDomain
           
 

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

Classes in choco.cp.solver.variables.integer that implement IPretty
 class AbstractBijectiveVar
          
 class AbstractIntDomain
          History: 2007-12-07 : FR_1873619 CPRU: DomOverDeg+DomOverWDeg
 class BipartiteIntDomain
           
 class BitSetIntDomain
           
 class BooleanDomain
           
 class BooleanVarImpl<C extends AbstractSConstraint & IntPropagator>
          A variable implementation dedicated to boolean domains
 class BoolVarNot
          A bijective boolean variable B :
B = not(A)
 class IntDomainVarAddCste
          Declare a variable Y, based on a variable X and a constante c, such as Y = X + c
 class IntDomainVarImpl<C extends AbstractSConstraint & IntPropagator>
          Implements search valued domain variables.
 class IntDomainVarTimePosCste
          Declare a variable Y, based on a variable X and a constante c, such as Y = X * c
 class IntervalBTreeDomain
          Created by IntelliJ IDEA.
 class IntervalIntDomain
           
 class LinkedIntDomain
          Integer domain implementation using linked list of indices.
 class ViewIntDomainVarImpl
           
 

Uses of IPretty in choco.cp.solver.variables.real
 

Classes in choco.cp.solver.variables.real that implement IPretty
 class RealDomainImpl
          An implmentation of real variable domains using two stored floats for storing bounds.
 class RealVarImpl<C extends AbstractSConstraint & RealPropagator>
          An implementation of real variables using RealDomain domains.
 

Uses of IPretty in choco.cp.solver.variables.set
 

Classes in choco.cp.solver.variables.set that implement IPretty
 class BitSetEnumeratedDomain
           
 class SetDomainImpl
          Created by IntelliJ IDEA.
 class SetVarImpl<C extends AbstractSConstraint & SetPropagator>
          History: 2007-12-07 : FR_1873619 CPRU: DomOverDeg+DomOverWDeg
 

Uses of IPretty in choco.kernel.common.util.tools
 

Methods in choco.kernel.common.util.tools with parameters of type IPretty
static String StringUtils.pretty(IPretty... elems)
           
static String StringUtils.pretty(IPretty[] elems, int begin, int end)
           
 

Method parameters in choco.kernel.common.util.tools with type arguments of type IPretty
static String StringUtils.pretty(Collection<? extends IPretty> elems)
           
static String StringUtils.pretty(Iterator<? extends IPretty> iter)
           
static String StringUtils.prettyOnePerLine(Collection<? extends IPretty> elems)
           
static String StringUtils.prettyOnePerLine(Iterator<? extends IPretty> iter)
          Pretty print of elements on 1 line
 

Uses of IPretty in choco.kernel.memory.structure
 

Classes in choco.kernel.memory.structure that implement IPretty
 class StoredBipartiteVarSet<E extends Var>
           
 

Uses of IPretty in choco.kernel.model
 

Subinterfaces of IPretty in choco.kernel.model
 interface IVariableArray
           
 interface Model
           
 interface Model2
           
 

Classes in choco.kernel.model that implement IPretty
 class ModelObject
           
 class VariableArray
           
 

Uses of IPretty in choco.kernel.model.constraints
 

Subinterfaces of IPretty in choco.kernel.model.constraints
 interface Constraint
           
 

Classes in choco.kernel.model.constraints that implement IPretty
 class AbstractConstraint
           
 class ComponentConstraint
           
 class ComponentConstraintWithSubConstraints
           
 class MetaConstraint<E extends Constraint>
           
 class MetaTaskConstraint
          An wrapper for constraint involving some Taskvariable.
 class TemporalConstraint
           
 

Uses of IPretty in choco.kernel.model.variables
 

Subinterfaces of IPretty in choco.kernel.model.variables
 interface Variable
          Created by IntelliJ IDEA.
 

Classes in choco.kernel.model.variables that implement IPretty
 class AbstractVariable
          Created by IntelliJ IDEA.
 class ComponentVariable
           
 class MultipleVariables
           
 

Uses of IPretty in choco.kernel.model.variables.geost
 

Classes in choco.kernel.model.variables.geost that implement IPretty
 class GeostObject
          Created by IntelliJ IDEA.
 

Uses of IPretty in choco.kernel.model.variables.integer
 

Classes in choco.kernel.model.variables.integer that implement IPretty
 class IntegerConstantVariable
           
 class IntegerExpressionVariable
           
 class IntegerVariable
           
 class MetaIntegerExpressionVariable
           
 

Uses of IPretty in choco.kernel.model.variables.real
 

Classes in choco.kernel.model.variables.real that implement IPretty
 class RealConstantVariable
          Created by IntelliJ IDEA.
 class RealExpressionVariable
           
 class RealVariable
           
 

Uses of IPretty in choco.kernel.model.variables.scheduling
 

Classes in choco.kernel.model.variables.scheduling that implement IPretty
 class TaskVariable
           
 

Uses of IPretty in choco.kernel.model.variables.set
 

Classes in choco.kernel.model.variables.set that implement IPretty
 class SetConstantVariable
           
 class SetExpressionVariable
           
 class SetVariable
           
 

Uses of IPretty in choco.kernel.model.variables.tree
 

Classes in choco.kernel.model.variables.tree that implement IPretty
 class TreeNodeObject
           
 class TreeParametersObject
           
 

Uses of IPretty in choco.kernel.solver
 

Subinterfaces of IPretty in choco.kernel.solver
 interface Solver
          Created by IntelliJ IDEA.
 

Uses of IPretty in choco.kernel.solver.constraints
 

Subinterfaces of IPretty in choco.kernel.solver.constraints
 interface SConstraint<V extends Var>
           
 

Classes in choco.kernel.solver.constraints that implement IPretty
 class AbstractSConstraint<V extends Var>
          An abstract class for all implementations of listeners
 class ConstantSConstraint
           
 class Formula
          a class that is used to represent a syntatic formula involving unknowns.
 

Uses of IPretty in choco.kernel.solver.constraints.global
 

Classes in choco.kernel.solver.constraints.global that implement IPretty
 class MetaSConstraint
           
 

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

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

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

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

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

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

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

Subinterfaces of IPretty in choco.kernel.solver.constraints.real
 interface RealExp
          An interface for real expressions.
 

Classes in choco.kernel.solver.constraints.real that implement IPretty
 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 IPretty in choco.kernel.solver.constraints.real.exp
 

Classes in choco.kernel.solver.constraints.real.exp that implement IPretty
 class AbstractRealBinTerm
          A binary real expression.
 class AbstractRealCompoundTerm
          A compound expression depending on other terms.
 class AbstractRealUnTerm
           
 

Uses of IPretty in choco.kernel.solver.constraints.reified
 

Classes in choco.kernel.solver.constraints.reified that implement IPretty
 class INode
           
 

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

Classes in choco.kernel.solver.constraints.set that implement IPretty
 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 IPretty in choco.kernel.solver.goals
 

Subinterfaces of IPretty in choco.kernel.solver.goals
 interface Goal
           
 

Uses of IPretty in choco.kernel.solver.goals.choice
 

Classes in choco.kernel.solver.goals.choice that implement IPretty
 class RemoveVal
          Created by IntelliJ IDEA.
 class SetVal
          Created by IntelliJ IDEA.
 

Uses of IPretty in choco.kernel.solver.goals.solver
 

Classes in choco.kernel.solver.goals.solver that implement IPretty
 class ChoicePoint
           
 

Uses of IPretty in choco.kernel.solver.search
 

Subinterfaces of IPretty in choco.kernel.solver.search
 interface GlobalSearchLimitManager
          The interface of objects limiting the global search exploration
 

Uses of IPretty in choco.kernel.solver.search.limit
 

Classes in choco.kernel.solver.search.limit that implement IPretty
 class AbstractGlobalSearchLimit
          An abstract class for limiting tree search (imposing conditions on depth, ...)
 class BackTrackLimit
          Limit counting the backtrack number
 class FailLimit
          Limit counting the number of fails
 class NodeLimit
           
 class NoLimit
           
 class RestartLimit
           
 class SolutionLimit
          check the number of solution
 class TimeLimit
          check the total amount of time
 

Uses of IPretty in choco.kernel.solver.search.restart
 

Subinterfaces of IPretty in choco.kernel.solver.search.restart
 interface UniversalRestartStrategy
          The interface defines a universal restart policy.
 

Classes in choco.kernel.solver.search.restart that implement IPretty
 class AbstractRestartStrategy
           
 class GeometricalRestartStrategy
           
 class LubyRestartStrategy
           
 class NoRestartStrategy
           
 

Uses of IPretty in choco.kernel.solver.variables
 

Subinterfaces of IPretty in choco.kernel.solver.variables
 interface Domain
           
 interface Var
          Interface for all implementations of domain variables.
 

Classes in choco.kernel.solver.variables that implement IPretty
 class AbstractVar
          An abstract class for all implementations of domain variables.
 

Uses of IPretty in choco.kernel.solver.variables.delta
 

Subinterfaces of IPretty in choco.kernel.solver.variables.delta
 interface IDeltaDomain
           
 

Uses of IPretty in choco.kernel.solver.variables.integer
 

Subinterfaces of IPretty in choco.kernel.solver.variables.integer
 interface IntDomain
          An interface for all domains of search variables
 interface IntDomainVar
          An interface for all implementations of search valued domain variables
 interface IntVar
           
 

Uses of IPretty in choco.kernel.solver.variables.real
 

Subinterfaces of IPretty in choco.kernel.solver.variables.real
 interface RealConstant
           
 interface RealDomain
          An interface for real variable domains.
 interface RealInterval
          An interface for real intervals.
 interface RealVar
          An interface for a real variable : an expression and a variable with a domain.
 

Classes in choco.kernel.solver.variables.real that implement IPretty
 class RealIntervalConstant
          A constant real interval.
 

Uses of IPretty in choco.kernel.solver.variables.scheduling
 

Subinterfaces of IPretty in choco.kernel.solver.variables.scheduling
 interface IRTask
          Update operations update the domain and ensure task consistency whereas set operations update the domain without checking.
 interface ITask
          The Interface ITask represent a scheduling entity : a task, activity, job.
 

Classes in choco.kernel.solver.variables.scheduling that implement IPretty
 class AbstractRTask
           
 class AbstractTask
           
 class HTask
           
 class TaskVar<C extends AbstractSConstraint & TaskPropagator>
           
 

Uses of IPretty in choco.kernel.solver.variables.set
 

Subinterfaces of IPretty in choco.kernel.solver.variables.set
 interface SetDomain
           
 interface SetSubDomain
           
 interface SetVar
           
 

Uses of IPretty in parser.instances.checker
 

Subinterfaces of IPretty in parser.instances.checker
 interface IOptimChecker
           
 interface IStatusChecker
           
 

Classes in parser.instances.checker that implement IPretty
 class OptimSChecker
           
 class SatSChecker
           
 

Uses of IPretty in samples.jobshop
 

Classes in samples.jobshop that implement IPretty
 class SimpleDTConstraint
           
 

Uses of IPretty in samples.multicostregular.asap
 

Classes in samples.multicostregular.asap that implement IPretty
 class ASAPCPModel
          Created by IntelliJ IDEA.
 

Uses of IPretty in samples.multicostregular.carsequencing
 

Classes in samples.multicostregular.carsequencing that implement IPretty
 class CarSeqModel
          Created by IntelliJ IDEA.
 

Uses of IPretty in samples.multicostregular.nsp
 

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

Uses of IPretty in samples.multicostregular.planner
 

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

Uses of IPretty in samples.rackconfig
 

Classes in samples.rackconfig that implement IPretty
 class RackConfig
          Created by IntelliJ IDEA.
 class RackConfig2
          Created by IntelliJ IDEA.
 

Uses of IPretty in samples.tutorials.lns.lns
 

Classes in samples.tutorials.lns.lns that implement IPretty
 class AbstractLNSSolver
          Deprecated.  
 class LNSCPSolver
          A Large Neighborhood Search approach encapsulating a CP solver.
 

Uses of IPretty in samples.tutorials.to_sort
 

Classes in samples.tutorials.to_sort that implement IPretty
 class Picross
          This class implements a nonogram strategy.
 class SimpleSchedule
          This class present a simple scheduling problem defined in multicost-regular documentation.
 

Uses of IPretty in samples.tutorials.to_sort.socialgolfer
 

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

Uses of IPretty in samples.tutorials.to_sort.tsp
 

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



Copyright © 2012. All Rights Reserved.