Modifier and Type | Class and Description |
---|---|
class |
AbsXeqY
Constraints |X| #= Y
Domain and bounds consistency can be used; third parameter of constructor controls this.
|
class |
Alldiff
Alldiff constraint assures that all FDVs has different values.
|
class |
Alldifferent
Alldifferent constraint assures that all FDVs has differnet values.
|
class |
Alldistinct
Alldistinct constraint assures that all FDVs have different values.
|
class |
Among
Among constraint in its simplest form.
|
class |
AmongVar
Among constraint in its general form.
|
class |
And
Constraint c1 /\ c2 ...
|
class |
AndBool
If all x's are equal 1 then result variable is equal 1 too.
|
class |
Assignment
Assignment constraint implements facility to improve channeling constraints
between dual viewpoints of permutation models.
|
class |
Circuit
Circuit constraint assures that all variables build a Hamiltonian
circuit.
|
class |
Constraint
Standard unified interface/abstract class for all constraints.
|
class |
Count
Count constraint implements the counting over number of occurrences of
a given value in a list of variables.
|
class |
Cumulative
Cumulative implements the cumulative/4 constraint using edge-finding
algorithm and profile information on the resource use.
|
class |
Diff
Diff constraint assures that any two rectangles from a vector of rectangles
does not overlap in at least one direction.
|
class |
Diff2
Diff2 constraint assures that any two rectangles from a vector of rectangles
does not overlap in at least one direction.
|
class |
Disjoint
Disjoint constraint assures that any two rectangles from a vector of
rectangles does not overlap in at least one direction.
|
class |
DisjointConditional
DisjointConditional constraint assures that any two rectangles from a vector
of rectangles does not overlap in at least one direction.
|
class |
Distance
Constraint |X - Y| #= Z
|
class |
Element
Element constraint implements the element/4 constraint (both with integer
list and variables list).
|
class |
ElementInteger
ElementInteger constraint defines a relation
list[index - indexOffset] = value.
|
class |
ElementVariable
ElementVariable constraint defines a relation
list[index - indexOffset] = value.
|
class |
Eq
Constraint "constraint1" #<=> "constraint2"
|
class |
EqBool
If all x's are equal to each other then result variable is equal 1.
|
class |
ExtensionalConflictVA
Extensional constraint assures that none of the tuples explicitly given is enforced in the
relation.
|
class |
ExtensionalSupportMDD
Extensional constraint assures that one of the tuples is enforced in the
relation.
|
class |
ExtensionalSupportSTR
Extensional constraint assures that one of the tuples is enforced in the
relation.
|
class |
ExtensionalSupportVA
Extensional constraint assures that one of the tuples is enforced in the
relation.
|
class |
GCC
GCC constraint counts the number of occurences of given
values in x variables.
|
class |
IfThen
Constraint if constraint1 then constraint2
|
class |
IfThenBool
Constraint ( X => Y ) <=> Z.
|
class |
IfThenElse
Constraint if constraint1 then constraint2 else constraint3
*
|
class |
In
Constraints X to belong to a specified domain.
|
class |
Lex
It constructs a Lex (lexicographical order) constraint.
|
class |
LexOrder
It constructs a LexOrder (lexicographical order) constraint.
|
class |
NoGood
NoGood constraints implements a constraint which disallows given combination
of values for given variables.
|
class |
Not
Constraint "not costraint"
|
class |
Or
Constraint c1 \/ c2 \/ ...
|
class |
OrBool
If at least one variable from the list is equal 1 then result variable is equal 1 too.
|
class |
PrimitiveConstraint
Standard unified interface for all primitive constraints.
|
class |
Reified
Reified constraints "constraint" #<=> B
|
class |
Sequence
It constructs a Sequence constraint.
|
class |
SoftAlldifferent
This class provides soft-alldifferent constraint by decomposing it
either into a network flow constraint or a set of primitive constraints.
|
class |
SoftGCC
This class provides soft-gcc constraint by decomposing it
either into a network flow constraint or a set of primitive constraints.
|
class |
Stretch
It constructs a Stretch constraint based on Regular constraint.
|
class |
Subcircuit
Subcircuit constraint assures that all variables build a
subcircuit.
|
class |
Sum
Sum constraint implements the summation over several Variable's .
|
class |
SumWeight
SumWeight constraint implements the weighted summation over several
variables .
|
class |
SumWeightDom
SumWeightDom constraint implements the weighted summation over several
variables .
|
class |
Values
Constraint Values counts number of different values on a list of Variables.
|
class |
XdivYeqZ
Constraint X div Y #= Z
|
class |
XeqC
Constraints X #= C
Domain consistency is used.
|
class |
XeqY
Constraints X #= Y
Domain consistency is used.
|
class |
XexpYeqZ
Constraint X ^ Y #= Z
Boundary consistecny is used.
|
class |
XgtC
Constraint X #> C
|
class |
XgteqC
Constraints X #>= C
|
class |
XgteqY
Constraints X #>= Y
|
class |
XgtY
Constraint X #> Y
|
class |
XltC
Constraint X #< C
|
class |
XlteqC
Constraint X #<= C
|
class |
XlteqY
Constraint X #<= Y
|
class |
XltY
Constraint X #< Y
|
class |
XmodYeqZ
Constraint X mod Y = Z
|
class |
XmulCeqZ
Constraint X * C #= Z
Boundary consistency is used.
|
class |
XmulYeqC
Constraint X * Y #= C
Boundary consistency is used.
|
class |
XmulYeqZ
Constraint X * Y #= Z
Boundary consistency is used.
|
class |
XneqC
Constraints X #\= C
|
class |
XneqY
Constraints X #\= Y
Domain consistency is used.
|
class |
Xor
Xor constraint - xor("constraint", B).
|
class |
XorBool
Constraint ( x_0 xor x_1 xor ...
|
class |
XplusCeqZ
Constraint X + C #= Z.
|
class |
XplusClteqZ
Constraints X + C #<= Z.
|
class |
XplusYeqC
Constraint X + Y #= C
|
class |
XplusYeqZ
Constraint X + Y #= Z
Bound consistency is used.
|
class |
XplusYgtC
Constraint X + Y #> C
|
class |
XplusYlteqZ
Constraint X + Y =< Z
Bound consistency is used.
|
class |
XplusYplusCeqZ
Constraints X + Y + C #= Z.
|
class |
XplusYplusQeqZ
Constraint X + Y + Q = Z
Bound consistency is used.
|
class |
XplusYplusQgtC
Constraint X + Y + Q > C
|
Modifier and Type | Class and Description |
---|---|
class |
Binpacking
Binpacking constraint implements bin packing problem.
|
Modifier and Type | Class and Description |
---|---|
class |
Geost |
Modifier and Type | Class and Description |
---|---|
class |
Knapsack
It specifies a knapsack constraint.
|
Modifier and Type | Class and Description |
---|---|
class |
Arithmetic |
class |
NetworkFlow
The network flow constraint.
|
Modifier and Type | Class and Description |
---|---|
class |
Regular
Regular constraint accepts only the assignment to variables which is accepted by
an automaton.
|
Modifier and Type | Method and Description |
---|---|
void |
Store.imposeDecomposition(DecomposedConstraint c)
This function imposes a decomposable constraint to a store.
|
void |
Store.imposeDecomposition(DecomposedConstraint c,
int queueIndex)
This function imposes a constraint decomposition to a store.
|
void |
Store.imposeDecompositionWithConsistency(DecomposedConstraint c)
In some special cases it may be beneficial to compute consistency of
constraint store immediately after the decomposed constraint is imposed.
|
Modifier and Type | Class and Description |
---|---|
class |
AbsPeqR
Constraints |P| #= R
Bounds consistency can be used; third parameter of constructor controls this.
|
class |
AcosPeqR
Constraints acos(P) = R
Bounds consistency can be used; third parameter of constructor controls this.
|
class |
AsinPeqR
Constraints asin(P) = R
Bounds consistency can be used; third parameter of constructor controls this.
|
class |
AtanPeqR
Constraints atan(P) = R
Bounds consistency can be used; third parameter of constructor controls this.
|
class |
CosPeqR
Constraints cos(P) = R
Bounds consistency can be used; third parameter of constructor controls this.
|
class |
CosPeqR_decomposed
Constraints cos(P) = R
Bounds consistency can be used; third parameter of constructor controls this.
|
class |
ElementFloat
ElementFloat constraint defines a relation
list[index - indexOffset] = value.
|
class |
EquationSystem
EquationSystem constraint implements the multivariate interval
Newton method for pruning domains of variables in a system of
non-linear equations.
|
class |
ExpPeqR
Constraints exp(P) #= Q for P and Q floats
Domain consistency is used.
|
class |
LinearFloat
LinearFloat constraint implements the weighted summation over several
Variable's .
|
class |
LnPeqR
Constraints Ln(P) #= Q for P and Q floats
Domain consistency is used.
|
class |
Max
Max constraint implements the Maximum/2 constraint.
|
class |
Min
Min constraint implements the minimum/2 constraint.
|
class |
PdivCeqR
Constraint P / C = R for floats
Boundary consistency is used.
|
class |
PdivQeqR
Constraint P / Q = R for floats
Boundary consistency is used.
|
class |
PeqC
Constraints P #= C
Domain consistency is used.
|
class |
PeqQ
Constraints P #= Q for P and Q floats
Domain consistency is used.
|
class |
PgtC
Constraint P #> C
|
class |
PgteqC
Constraints P #>= C for floats
|
class |
PgteqQ
Constraints P >= Q for floats
|
class |
PgtQ
Constraint P > Q for floats
|
class |
PltC
Constraint P #< C for floats
|
class |
PlteqC
Constraint X #<= C for floats
|
class |
PlteqQ
Constraint P <= Q for floats
|
class |
PltQ
Constraint P < Q for floats
|
class |
PminusCeqR
Constraint P - C = R
Bound consistency is used.
|
class |
PminusQeqR
Constraint P - Q = R
Bound consistency is used.
|
class |
PmulCeqR
Constraint P * C = R for floats
Boundary consistency is used.
|
class |
PmulQeqR
Constraint P * Q = R for floats
Boundary consistency is used.
|
class |
PneqC
Constraints P != C
Domain consistency is used.
|
class |
PneqQ
Constraints P #= Q for P and Q floats
Domain consistency is used.
|
class |
PplusCeqR
Constraint P + C #= R
Bound consistency is used.
|
class |
PplusQeqR
Constraint P + Q = R
Bound consistency is used.
|
class |
SinPeqR
Constraints sin(P) = R
Bounds consistency can be used; third parameter of constructor controls this.
|
class |
SqrtPeqR
Constraint sqrt(P) = R for floats
Boundary consistency is used.
|
class |
TanPeqR
Constraints sin(P) = R
Bounds consistency can be used; third parameter of constructor controls this.
|
class |
XeqP
Constraints X #= P for X and P floats
Domain consistency is used.
|
Modifier and Type | Class and Description |
---|---|
class |
Linear
Linear constraint implements the weighted summation over several
Variable's .
|
Modifier and Type | Class and Description |
---|---|
class |
AdiffBeqC
It creates a constraints that subtracts from set variable A the
elements from of the set variable B and assigns the result to set
variable C.
|
class |
AdisjointB
The disjoint set constraint makes sure that two set variables
do not contain any common element.
|
class |
AeqB
It creates an equality constraint to make sure that two set variables
have the same value.
|
class |
AeqS
It creates an equality constraint to make sure that a set variable
is equal to a given set.
|
class |
AinB
It creates a constraint that makes sure that the set value of set variable A is included
in the set value of set variable B.
|
class |
AinS
It creates a constraint that makes sure that value of the variable A is included within
a provided set.
|
class |
AintersectBeqC
It creates a constraint that makes sure that A intersected with B
is equal to C.
|
class |
AunionBeqC
It creates a constraint that makes sure that A union B is equal to C.
|
class |
CardA
The set cardinality constraint.
|
class |
CardAeqX
The set cardinality constraint.
|
class |
EinA
It constructs a constraint which makes sure that a given element is
in the domain of the set variable.
|
class |
ElementSet
It is an element constraint that make sure that set variable value has a domain equal to
the index-th element of the supplied list of sets.
|
class |
Match
This constraint matches the elements of the given set variable
onto a list of integer variables.
|
class |
SinA
It creates an inclusion set constraint to make sure that provided set is
included in a set variable a.
|
class |
SumWeightedSet
It computes a weighted sum of the elements in the domain of the given set variable.
|
class |
XeqA
It creates a constraint that makes sure that the value assigned to the integer variable x
is the only element of the set assigned to a set variable a.
|
class |
XinA
It creates a constraint that makes sure that the value assigned to integer variable x is
included in the set assigned to the set variable a.
|
Copyright © 2015. All rights reserved.