Package minicp.engine.constraints

package minicp.engine.constraints
Constraints
  • Classes
    Class
    Description
    Absolute
    Absolute value constraint
    AllDifferentBinary
     
    AllDifferentDC
    Arc Consistent AllDifferent Constraint Algorithm described in "A filtering algorithm for constraints of difference in CSPs" J-C.
    AllDifferentFWC
    Forward Checking filtering AllDifferent Constraint Whenever one variable is fixed, this value is removed from the domain of other variables.
    Circuit
    Hamiltonian Circuit Constraint with a successor model
    Cumulative
    Cumulative constraint with time-table filtering
    CumulativeDecomposition
    Cumulative constraint with sum decomposition (very slow).
    Disjunctive
    Disjunctive Scheduling Constraint: Any two pairs of activities cannot overlap in time.
    DisjunctiveBinary
    Constraint enforcing that two activities cannot overlap in time The implementation of this constraint uses reified constraints.
    Element1D
    Element Constraint modeling array[y] = z
    Element1DDomainConsistent
    Element Constraint modeling array[y] = z
    Element1DVar
     
    Element2D
    Element Constraint modeling matrix[x][y] = z
    Equal
     
    IsEqual
    Reified equality constraint
    IsLessOrEqual
    Reified less or equal constraint.
    IsLessOrEqualVar
    Reified is less or equal constraint b <=> x <= y.
    IsOr
    Reified logical or constraint
    LessOrEqual
    Less or equal constraint between two variables
    Maximum
    Maximum Constraint
    MaximumMatching
    Compute and Maintain a Maximum Matching in the variable-value graph
    NotEqual
    Not Equal constraint between two variables
    Or
    Logical or constraint x1 or x2 or ... xn
    Profile
    Representation of a cumulated Profile data structure as a contiguous sequence of Profile.Rectangle built from a set of Profile.Rectangle using a sweep-line algorithm.
    Sum
    Sum Constraint
    TableCT
    Implementation of Compact Table algorithm described in
    TableDecomp
     
    ThetaTree
    Data Structure described in Global Constraints in Scheduling, 2008 Petr Vilim, PhD thesis See The thesis.