Package | Description |
---|---|
org.jacop.constraints | |
org.jacop.floats.constraints | |
org.jacop.floats.constraints.linear | |
org.jacop.set.constraints |
Modifier and Type | Class and Description |
---|---|
class |
AbsXeqY
Constraints |X| #= Y
|
class |
And
Constraint c1 /\ c2 ...
|
class |
AndBoolSimple
If both a and b are equal 1 then result variable is equal 1 too.
|
class |
AndBoolVector |
class |
AtLeast |
class |
AtMost |
class |
BoolClause
I defines a boolean clause for 0/1 variables x_i and y_i.
|
class |
Count
Count constraint implements the counting over number of occurrences of
a given value in a list of variables.
|
class |
CountBounds
CountBounds constraint implements the counting over number of occurrences of
a given value in a list of variables.
|
class |
CountVar |
class |
Distance
Constraint |X - Y| #= Z
|
class |
Eq
Constraint "constraint1"#<=> "constraint2"
|
class |
EqBool
If all x's are equal to each other then result variable is equal 1.
|
class |
IfThen
Constraint if constraint1 then constraint2
|
class |
IfThenBool
Constraint ( X => Y ) <=> Z.
|
class |
IfThenElse
Constraint if constraint1 then constraint2 else constraint3
*
|
class |
Implies |
class |
In
Constraints X to belong to a specified domain.
|
class |
LinearInt |
class |
LinearIntDom
LinearIntDom constraint implements the weighted summation over several
variables.
|
class |
Member
Member constraint implements the membership of element e on list x.
|
class |
Not
Constraint "not costraint"
|
class |
Or
Constraint c1 \/ c2 \/ ...
|
class |
OrBoolSimple
If at least one variable is equal 1 then result variable is equal 1 too.
|
class |
OrBoolVector
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 |
class |
SumBool |
class |
SumInt
SumInt constraint implements the summation over several variables.
|
class |
XeqC |
class |
XeqY
Constraints X #= Y
|
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 |
XmulCeqZ |
class |
XmulYeqC
Constraint X * Y #= C
|
class |
XneqC |
class |
XneqY
Constraints X #\= Y
|
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
|
class |
XplusYgtC
Constraint X + Y> C
|
class |
XplusYlteqZ
Constraint X + Y=< Z
|
Modifier and Type | Class and Description |
---|---|
class |
LinearFloat
LinearFloat constraint implements the weighted summation over several
Variable's .
|
class |
PeqC
Constraints P #= C
|
class |
PeqQ
Constraints P #= Q for P and Q floats
|
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
|
class |
PminusQeqR
Constraint P - Q = R
|
class |
PneqC
Constraints P != C
|
class |
PneqQ
Constraints P #= Q for P and Q floats
|
class |
PplusCeqR
Constraint P + C #= R
|
class |
PplusQeqR
Constraint P + Q = R
|
class |
SumFloat
SumFloat constraint implements the weighted summation over several
Variable's .
|
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 |
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 |
AleB
It creates a <= b constraint on two set variables.
|
class |
AltB
It creates a < b constraint on two set variables.
|
class |
EinA
It constructs a constraint which makes sure that a given element is
in the domain of the set variable.
|
class |
SinA
It creates an inclusion set constraint to make sure that provided set is
included in a set variable a.
|
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 © 2022. All rights reserved.