Uses of Interface
org.maxicp.modeling.DecisionVarsProvider

Packages that use DecisionVarsProvider

Package	Description
org.maxicp.modeling.algebra.integer	Symbolic modeling over integer variables
org.maxicp.modeling.constraints	Symbolic constraints

Uses of DecisionVarsProvider in org.maxicp.modeling.algebra.integer

Classes in org.maxicp.modeling.algebra.integer that implement DecisionVarsProvider

Modifier and Type	Class	Description
final record	Element1D
final record	Element1DVar
final record	Element2D
final record	Element2DVar

Uses of DecisionVarsProvider in org.maxicp.modeling.constraints

Classes in org.maxicp.modeling.constraints that implement DecisionVarsProvider

Modifier and Type	Class	Description
final record	AllDifferent	AllDifferent constraint ensuring that all expressions in x take pairwise distinct values.
final record	Among	Among constraint ensuring that exactly count expressions in x take a value in values.
final record	BinPacking	BinPacking constraint.
final record	CardinalityMax	Upper-bound cardinality constraint ensuring that each value v in 0..array.length - 1 appears at most array[v] times in x.
final record	CardinalityMin	Lower-bound cardinality constraint ensuring that each value v in 0..array.length - 1 appears at least array[v] times in x.
final record	Circuit	Hamiltonian circuit constraint ensuring that the successor array forms a single Hamiltonian circuit visiting all nodes 0..successor.length - 1.
final record	Cumulative	Cumulative scheduling constraint ensuring that at any point in time, the total resource demand of overlapping activities does not exceed the resource capacity capa.
final record	Disjunctive	Disjunctive scheduling constraint ensuring that no two activities overlap in time.
final record	LexLe	Lexicographic ordering constraint enforcing x <=_lex y (or x <_lex y if strict is true).
final record	NegTable	Negative table constraint ensuring that the tuple of values assigned to x does not match any forbidden tuple in array.
final record	Sorted	Sorted constraint: y is the sorted version of x with position permutation o (i.e.
final record	SubCircuit	SubCircuit constraint ensuring that the successor array forms at most one circuit while nodes with successor[i] == i are self-loops not part of the circuit.
final record	Table	Positive table constraint ensuring that the tuple of values assigned to x belongs to the set of allowed tuples in array.