Uses of Interface
org.jacop.api.UsesQueueVariable
Packages that use UsesQueueVariable
Package
Description
-
Uses of UsesQueueVariable in org.jacop.constraints
Classes in org.jacop.constraints that implement UsesQueueVariableModifier and TypeClassDescriptionclass
Alldiff constraint assures that all FDVs has different values.class
Alldifferent constraint assures that all FDVs has differnet values.class
Alldistinct constraint assures that all FDVs have different values.class
Among constraint in its simplest form.class
Among constraint in its general form.class
Constraint c1 /\ c2 ...class
Assignment constraint implements facility to improve channeling constraints between dual viewpoints of permutation models.class
Circuit constraint assures that all variables build a Hamiltonian circuit.class
Diff constraint assures that any two rectangles from a vector of rectangles does not overlap in at least one direction.class
Diff2 constraint assures that any two rectangles from a vector of rectangles does not overlap in at least one direction.class
Disjoint constraint assures that any two rectangles from a vector of rectangles does not overlap in at least one direction.class
DisjointConditional constraint assures that any two rectangles from a vector of rectangles does not overlap in at least one direction.class
Element constraint implements the element/4 constraint (both with integer list and variables list).class
ElementInteger constraint defines a relation list[index - indexOffset] = value.class
ElementVariable constraint defines a relation list[index - indexOffset] = value.class
Constraint "constraint1"#<=> "constraint2"class
Extensional constraint assures that none of the tuples explicitly given is enforced in the relation.class
Extensional constraint assures that one of the tuples is enforced in the relation.class
Extensional constraint assures that one of the tuples is enforced in the relation.class
GCC constraint counts the number of occurences of given values in x variables.class
Constraint if constraint1 then constraint2class
Constraint if constraint1 then constraint2 else constraint3 *class
class
It constructs a LexOrder (lexicographical order) constraint.class
Deprecated.As of release 4.3.1 replaced by LinearInt constraint.class
Constraint "not costraint"class
Constraint c1 \/ c2 \/ ...class
class
Subcircuit constraint assures that all variables build a subcircuit.class
class
Deprecated.As of release 4.3.1 replaced by LinearIntDom constraint.class
class
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 UsesQueueVariableModifier and TypeClassDescriptionclass
Binpacking constraint implements bin packing problem. -
Uses of UsesQueueVariable in org.jacop.constraints.geost
Classes in org.jacop.constraints.geost that implement UsesQueueVariable -
Uses of UsesQueueVariable in org.jacop.constraints.knapsack
Classes in org.jacop.constraints.knapsack that implement UsesQueueVariable -
Uses of UsesQueueVariable in org.jacop.constraints.netflow
Classes in org.jacop.constraints.netflow that implement UsesQueueVariable -
Uses of UsesQueueVariable in org.jacop.constraints.regular
Classes in org.jacop.constraints.regular that implement UsesQueueVariableModifier and TypeClassDescriptionclass
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 UsesQueueVariableModifier and TypeClassDescriptionclass
SimpleTable implements the table constraint using a method presented inclass
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 UsesQueueVariableModifier and TypeClassDescriptionclass
ElementFloat constraint defines a relation list[index - indexOffset] = value.class
LinearFloat constraint implements the weighted summation over several Variable's .class
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 UsesQueueVariableModifier and TypeClassDescriptionclass
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 UsesQueueVariableModifier and TypeClassDescriptionclass
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
The disjoint set constraint makes sure that two set variables do not contain any common element.class
It creates a constraint that makes sure that A intersected with B is equal to C.class
It creates a constraint that makes sure that A union B is equal to C.class
Channel constraint requires that array of int variables x and array of set variables y are related such that (x[i] = j) <-> (i in s[j]).