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.floats.constraints.linear
org.jacop.set.constraints

Uses of UsesQueueVariable in org.jacop.constraints

Classes in org.jacop.constraints that implement UsesQueueVariable

Modifier and Type	Class	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	Constraint b => c (implication or half-reification)
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	Reified constraints "constraint" <=> B
class	Subcircuit	Subcircuit constraint assures that all variables build a subcircuit.
class	SumWeight	SumWeight constraint implements the weighted summation over several variables .
class	SumWeightDom	Deprecated. As of release 4.3.1 replaced by LinearIntDom constraint.
class	ValuePrecede	It defines Value Precedence constraint for integers.
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	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	Description
class	Geost

Uses of UsesQueueVariable in org.jacop.constraints.knapsack

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

Modifier and Type	Class	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	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	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	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	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.floats.constraints.linear

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

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