|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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 = |
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
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |