Uses of Interface
org.jacop.api.UsesQueueVariable
-
-
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 constraint2class
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" <=> Bclass
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 inclass
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.
-