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
If all x's are equal 1 then result variable is equal 1 too.

class 
AtLeast
AtLeast constraint implements the counting over number of occurrences of
a given value in a list of variables.

class 
AtMost
AtMost constraint implements the counting over number of occurrences of
a given value in a list of variables.

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
CountVar constraint implements the counting over number of occurrences of
a given value in a list of variables.

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
Constraint b => c (implication or halfreification)

class 
In
Constraints X to belong to a specified domain.

class 
LinearInt
LinearInt constraint implements the weighted summation over several
variables .

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
Reified constraints "constraint" <=> B

class 
SumBool
SumBool constraint implements the summation over several
0/1 variables.

class 
SumInt
SumInt constraint implements the summation over several variables.

class 
XeqC
Constraints X #= C

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
Constraint X * C #= Z

class 
XmulYeqC
Constraint X * Y #= C

class 
XneqC
Constraints X #\= C

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 © 2020. All rights reserved.