Uses of Interface
org.jacop.api.StoreAware
Packages that use StoreAware
Package
Description
-
Uses of StoreAware in org.jacop.constraints
Classes in org.jacop.constraints that implement StoreAwareModifier and TypeClassDescriptionclass
Constraints |X| #= Yclass
Constraints forall i != j: x[i] #= x[j]class
Constraint c1 /\ c2 ...class
If both a and b are equal 1 then result variable is equal 1 too.class
class
class
class
I defines a boolean clause for 0/1 variables x_i and y_i.class
Count constraint implements the counting over number of occurrences of a given value in a list of variables.class
CountBounds constraint implements the counting over number of occurrences of a given value in a list of variables.class
class
Constraint |X - Y| #= Zclass
Constraint "constraint1"#<=> "constraint2"class
If all x's are equal to each other then result variable is equal 1.class
Constraint if constraint1 then constraint2class
Constraint ( X => Y ) <=> Z.class
Constraint if constraint1 then constraint2 else constraint3 *class
class
Constraints X to belong to a specified domain.class
class
LinearIntDom constraint implements the weighted summation over several variables.class
Member constraint implements the membership of element e on list x.class
Constraint "not costraint"class
Constraint c1 \/ c2 \/ ...class
If at least one variable is equal 1 then result variable is equal 1 too.class
If at least one variable from the list is equal 1 then result variable is equal 1 too.class
Standard unified interface for all primitive constraints.class
class
class
SumInt constraint implements the summation over several variables.class
class
Constraints X #= Yclass
Constraint X > Cclass
Constraints X >= Cclass
Constraints X >= Yclass
Constraint X > Yclass
Constraint X < Cclass
Constraint X <= Cclass
Constraint X <= Yclass
Constraint X < Yclass
class
Constraint X * Y #= Cclass
class
Constraints X #\= Yclass
Xor constraint - xor("constraint", B).class
Constraint ( x_0 xor x_1 xor ...class
Constraint X + C #= Z.class
Constraints X + C<= Z.class
Constraint X + Y #= Cclass
Constraint X + Y = Zclass
Constraint X + Y> Cclass
Constraint X + Y=< Z -
Uses of StoreAware in org.jacop.floats.constraints
Classes in org.jacop.floats.constraints that implement StoreAwareModifier and TypeClassDescriptionclass
LinearFloat constraint implements the weighted summation over several Variable's .class
Constraints P #= Cclass
Constraints P #= Q for P and Q floatsclass
Constraint P > Cclass
Constraints P >= C for floatsclass
Constraints P >= Q for floatsclass
Constraint P > Q for floatsclass
Constraint P < C for floatsclass
Constraint X <= C for floatsclass
Constraint P <= Q for floatsclass
Constraint P < Q for floatsclass
Constraint P - C = Rclass
Constraint P - Q = Rclass
Constraints P != Cclass
Constraints P #= Q for P and Q floatsclass
Constraint P + C #= Rclass
Constraint P + Q = Rclass
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 StoreAwareModifier and TypeClassDescriptionclass
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 StoreAwareModifier and TypeClassDescriptionclass
It creates an equality constraint to make sure that two set variables have the same value.class
It creates an equality constraint to make sure that a set variable is equal to a given set.class
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
It creates a constraint that makes sure that value of the variable A is included within a provided set.class
It creates a <= b constraint on two set variables.class
It creates a < b constraint on two set variables.class
It constructs a constraint which makes sure that a given element is in the domain of the set variable.class
It creates an inclusion set constraint to make sure that provided set is included in a set variable a.class
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
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.