Uses of Interface
org.jacop.api.StoreAware
-
Packages that use StoreAware Package Description org.jacop.constraints org.jacop.floats.constraints org.jacop.floats.constraints.linear org.jacop.set.constraints -
-
Uses of StoreAware in org.jacop.constraints
Classes in org.jacop.constraints that implement StoreAware Modifier and Type Class Description class
AbsXeqY
Constraints |X| #= Yclass
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
Distance
Constraint |X - Y| #= Zclass
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 constraint2class
IfThenBool
Constraint ( X => Y ) <=> Z.class
IfThenElse
Constraint if constraint1 then constraint2 else constraint3 *class
Implies
Constraint b => c (implication or half-reification)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" <=> Bclass
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 #= Cclass
XeqY
Constraints X #= Yclass
XgtC
Constraint X > Cclass
XgteqC
Constraints X >= Cclass
XgteqY
Constraints X >= Yclass
XgtY
Constraint X > Yclass
XltC
Constraint X < Cclass
XlteqC
Constraint X <= Cclass
XlteqY
Constraint X <= Yclass
XltY
Constraint X < Yclass
XmulCeqZ
Constraint X * C #= Zclass
XmulYeqC
Constraint X * Y #= Cclass
XneqC
Constraints X #\= Cclass
XneqY
Constraints X #\= Yclass
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 #= Cclass
XplusYeqZ
Constraint X + Y = Zclass
XplusYgtC
Constraint X + Y> Cclass
XplusYlteqZ
Constraint X + Y=< Zclass
XplusYplusCeqZ
Constraints X + Y + C #= Z.class
XplusYplusQeqZ
Constraint X + Y + Q = Zclass
XplusYplusQgtC
Constraint X + Y + Q > C -
Uses of StoreAware in org.jacop.floats.constraints
Classes in org.jacop.floats.constraints that implement StoreAware Modifier and Type Class Description class
LinearFloat
LinearFloat constraint implements the weighted summation over several Variable's .class
PeqC
Constraints P #= Cclass
PeqQ
Constraints P #= Q for P and Q floatsclass
PgtC
Constraint P > Cclass
PgteqC
Constraints P >= C for floatsclass
PgteqQ
Constraints P >= Q for floatsclass
PgtQ
Constraint P > Q for floatsclass
PltC
Constraint P < C for floatsclass
PlteqC
Constraint X <= C for floatsclass
PlteqQ
Constraint P <= Q for floatsclass
PltQ
Constraint P < Q for floatsclass
PminusCeqR
Constraint P - C = Rclass
PminusQeqR
Constraint P - Q = Rclass
PneqC
Constraints P != Cclass
PneqQ
Constraints P #= Q for P and Q floatsclass
PplusCeqR
Constraint P + C #= Rclass
PplusQeqR
Constraint P + Q = Rclass
SumFloat
SumFloat constraint implements the weighted summation over several Variable's . -
Uses of StoreAware in org.jacop.floats.constraints.linear
Classes in org.jacop.floats.constraints.linear that implement StoreAware Modifier and Type Class Description class
Linear
Linear constraint implements the weighted summation over several Variable's . -
Uses of StoreAware in org.jacop.set.constraints
Classes in org.jacop.set.constraints that implement StoreAware Modifier and Type Class 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.
-