Uses of Interface
org.jacop.api.UsesQueueVariable

Packages that use UsesQueueVariable

Package	Description
org.jacop.constraints
org.jacop.constraints.binpacking
org.jacop.constraints.geost
org.jacop.constraints.knapsack
org.jacop.constraints.netflow
org.jacop.constraints.regular
org.jacop.constraints.table
org.jacop.floats.constraints
org.jacop.set.constraints

Uses of UsesQueueVariable in org.jacop.constraints

Classes in org.jacop.constraints that implement UsesQueueVariable

Modifier and Type	Class and Description
class	Alldiff Alldiff constraint assures that all FDVs has different values.
class	Alldifferent Alldifferent constraint assures that all FDVs has differnet values.
class	Alldistinct Alldistinct constraint assures that all FDVs have different values.
class	Among Among constraint in its simplest form.
class	AmongVar Among constraint in its general form.
class	And Constraint c1 /\ c2 ...
class	Assignment Assignment constraint implements facility to improve channeling constraints between dual viewpoints of permutation models.
class	Circuit Circuit constraint assures that all variables build a Hamiltonian circuit.
class	Diff Diff constraint assures that any two rectangles from a vector of rectangles does not overlap in at least one direction.
class	Diff2 Diff2 constraint assures that any two rectangles from a vector of rectangles does not overlap in at least one direction.
class	Disjoint Disjoint constraint assures that any two rectangles from a vector of rectangles does not overlap in at least one direction.
class	DisjointConditional DisjointConditional constraint assures that any two rectangles from a vector of rectangles does not overlap in at least one direction.
class	Element Element constraint implements the element/4 constraint (both with integer list and variables list).
class	ElementInteger ElementInteger constraint defines a relation list[index - indexOffset] = value.
class	ElementVariable ElementVariable constraint defines a relation list[index - indexOffset] = value.
class	Eq Constraint "constraint1"#<=> "constraint2"
class	ExtensionalConflictVA Extensional constraint assures that none of the tuples explicitly given is enforced in the relation.
class	ExtensionalSupportSTR Extensional constraint assures that one of the tuples is enforced in the relation.
class	ExtensionalSupportVA Extensional constraint assures that one of the tuples is enforced in the relation.
class	GCC GCC constraint counts the number of occurences of given values in x variables.
class	IfThen Constraint if constraint1 then constraint2
class	IfThenElse Constraint if constraint1 then constraint2 else constraint3 *
class	Implies
class	LexOrder It constructs a LexOrder (lexicographical order) constraint.
class	Linear Deprecated. As of release 4.3.1 replaced by LinearInt constraint.
class	Not Constraint "not costraint"
class	Or Constraint c1 \/ c2 \/ ...
class	Reified
class	Subcircuit Subcircuit constraint assures that all variables build a subcircuit.
class	SumWeight
class	SumWeightDom Deprecated. As of release 4.3.1 replaced by LinearIntDom constraint.
class	ValuePrecede
class	VariableTrace VariableTrace is a daemon that prints information on variables whenever they are changed.

Uses of UsesQueueVariable in org.jacop.constraints.binpacking

Classes in org.jacop.constraints.binpacking that implement UsesQueueVariable

Modifier and Type	Class and Description
class	Binpacking Binpacking constraint implements bin packing problem.

Uses of UsesQueueVariable in org.jacop.constraints.geost

Classes in org.jacop.constraints.geost that implement UsesQueueVariable

Modifier and Type	Class and Description
class	Geost

Uses of UsesQueueVariable in org.jacop.constraints.knapsack

Classes in org.jacop.constraints.knapsack that implement UsesQueueVariable

Modifier and Type	Class and Description
class	Knapsack It specifies a knapsack constraint.

Uses of UsesQueueVariable in org.jacop.constraints.netflow

Classes in org.jacop.constraints.netflow that implement UsesQueueVariable

Modifier and Type	Class and Description
class	NetworkFlow The network flow constraint.

Uses of UsesQueueVariable in org.jacop.constraints.regular

Classes in org.jacop.constraints.regular that implement UsesQueueVariable

Modifier and Type	Class and Description
class	Regular Regular constraint accepts only the assignment to variables which is accepted by an automaton.

Uses of UsesQueueVariable in org.jacop.constraints.table

Classes in org.jacop.constraints.table that implement UsesQueueVariable

Modifier and Type	Class and Description
class	SimpleTable SimpleTable implements the table constraint using a method presented in
class	Table Table implements the table constraint using a method presented in

Uses of UsesQueueVariable in org.jacop.floats.constraints

Classes in org.jacop.floats.constraints that implement UsesQueueVariable

Modifier and Type	Class and Description
class	ElementFloat ElementFloat constraint defines a relation list[index - indexOffset] = value.
class	LinearFloat LinearFloat constraint implements the weighted summation over several Variable's .
class	SumFloat SumFloat constraint implements the weighted summation over several Variable's .

Uses of UsesQueueVariable in org.jacop.set.constraints

Classes in org.jacop.set.constraints that implement UsesQueueVariable

Modifier and Type	Class and Description
class	AdiffBeqC It creates a constraints that subtracts from set variable A the elements from of the set variable B and assigns the result to set variable C.
class	AdisjointB The disjoint set constraint makes sure that two set variables do not contain any common element.
class	AintersectBeqC It creates a constraint that makes sure that A intersected with B is equal to C.
class	AunionBeqC It creates a constraint that makes sure that A union B is equal to C.