Module org.maxicp
Package org.maxicp.cp.engine.constraints
package org.maxicp.cp.engine.constraints
Constraints implementation (propagators)
-
ClassDescriptionAbsolute value constraintArc Consistent AllDifferent Constraint Algorithm described in "A filtering algorithm for constraints of difference in CSPs" J-C.Among constraintDomain Consistency Filtering for AtLeastNValue constraint.A Binary Knapsack constraint ensures that the total load is equal to the sum of the weights of the selected items.The
BinPackingconstraint ensures that a set of items with given weights are packed into bins such that each bin's total weight respects a given capacity constraint.Hamiltonian Circuit Constraint with a successor modelArc Consistent AllDifferent Constraint with CostsImplementation of the Global Cardinality Constraint with Costs from the paperElement Constraint modelingarray[y] = zElement1DDC constraintElement Constraint modelingmatrix[x][y] = zInversePerm is a constraint that enforces that one permutation is the inverse of another.Reified equality constraintReified equality constraintReified less or equal constraint.Reified is less or equal constraintb <=> x <= y.Reified logical or constraintLess or equal constraint between two variablesMaximum ConstraintCompute and Maintain a Maximum Matching in the variable-value graphConstraint x * b = y where b is a boolean variableMultiplication Constraint x * c = z where c is a constantMultiplication Constraint x * y = cMultiplication Constraint x * y = z (all variables)Implementation of Compact Table for Negative Table algorithm described inNot Equal constraint between two variablesLogical or constraintx1 or x2 or ... xnRepresentation of a cumulated Profile data structure as a contiguous sequence ofProfile.Rectanglebuilt from a set ofProfile.Rectangleusing a sweep-line algorithm.Implementation of Compact Table for Short Table algorithm described inSoft Global Cardinality ConstraintSorted constraint, x is sorted in y according to permutation oSquare Constraint x * x = yEnsures that only one Hamiltonian circuit appears in the provided successor variables.Sum ConstraintImplementation of Compact Table algorithm described in