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| #= Y
class	AllEqual	Constraints forall i != j: x[i] #= x[j]
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

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 #= 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 .

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.