Uses of Interface
org.jacop.api.StoreAware

Packages that use StoreAware
  • Uses of StoreAware in org.jacop.constraints

    Classes in org.jacop.constraints that implement StoreAware
    Modifier and Type
    Class
    Description
    class 
    Constraints |X| #= Y
    class 
    Constraint c1 /\ c2 ...
    class 
    If both a and b are equal 1 then result variable is equal 1 too.
    class 
    If all x's are equal 1 then result variable is equal 1 too.
    class 
    AtLeast constraint implements the counting over number of occurrences of a given value in a list of variables.
    class 
    AtMost constraint implements the counting over number of occurrences of a given value in a list of variables.
    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 
    CountVar constraint implements the counting over number of occurrences of a given value in a list of variables.
    class 
    Constraint |X - Y| #= Z
    class 
    Constraint "constraint1"#<=> "constraint2"
    class 
    If all x's are equal to each other then result variable is equal 1.
    class 
    Constraint if constraint1 then constraint2
    class 
    Constraint ( X => Y ) <=> Z.
    class 
    Constraint if constraint1 then constraint2 else constraint3 *
    class 
    Constraint b => c (implication or half-reification)
    class 
    Constraints X to belong to a specified domain.
    class 
    LinearInt constraint implements the weighted summation over several variables .
    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 
    Reified constraints "constraint" <=> B
    class 
    SumBool constraint implements the summation over several 0/1 variables.
    class 
    SumInt constraint implements the summation over several variables.
    class 
    Constraints X #= C
    class 
    Constraints X #= Y
    class 
    Constraint X > C
    class 
    Constraints X >= C
    class 
    Constraints X >= Y
    class 
    Constraint X > Y
    class 
    Constraint X < C
    class 
    Constraint X <= C
    class 
    Constraint X <= Y
    class 
    Constraint X < Y
    class 
    Constraint X * C #= Z
    class 
    Constraint X * Y #= C
    class 
    Constraints X #\= C
    class 
    Constraints X #\= Y
    class 
    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 #= C
    class 
    Constraint X + Y = Z
    class 
    Constraint X + Y> C
    class 
    Constraint X + Y=< Z
  • Uses of StoreAware in org.jacop.floats.constraints

    Classes in org.jacop.floats.constraints that implement StoreAware
    Modifier and Type
    Class
    Description
    class 
    LinearFloat constraint implements the weighted summation over several Variable's .
    class 
    Constraints P #= C
    class 
    Constraints P #= Q for P and Q floats
    class 
    Constraint P > C
    class 
    Constraints P >= C for floats
    class 
    Constraints P >= Q for floats
    class 
    Constraint P > Q for floats
    class 
    Constraint P < C for floats
    class 
    Constraint X <= C for floats
    class 
    Constraint P <= Q for floats
    class 
    Constraint P < Q for floats
    class 
    Constraint P - C = R
    class 
    Constraint P - Q = R
    class 
    Constraints P != C
    class 
    Constraints P #= Q for P and Q floats
    class 
    Constraint P + C #= R
    class 
    Constraint P + Q = R
    class 
    SumFloat constraint implements the weighted summation over several Variable's .
  • Uses of StoreAware in org.jacop.floats.constraints.linear

    Modifier and Type
    Class
    Description
    class 
    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 
    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.