Module org.maxicp

Package org.maxicp.modeling.constraints

package org.maxicp.modeling.constraints
Symbolic constraints
  • Class
    Description
    AllDifferent
    AllDifferent constraint ensuring that all expressions in x take pairwise distinct values.
    Among
    Among constraint ensuring that exactly count expressions in x take a value in values.
    BinPacking
    BinPacking constraint.
    CardinalityMax
    Upper-bound cardinality constraint ensuring that each value v in 0..array.length - 1 appears at most array[v] times in x.
    CardinalityMin
    Lower-bound cardinality constraint ensuring that each value v in 0..array.length - 1 appears at least array[v] times in x.
    Circuit
    Hamiltonian circuit constraint ensuring that the successor array forms a single Hamiltonian circuit visiting all nodes 0..successor.length - 1.
    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.
    Disjunctive
    Disjunctive scheduling constraint ensuring that no two activities overlap in time.
    ExpressionIsTrue
    Constraint enforcing that a boolean expression expr evaluates to true (1).
    LexLe
    Lexicographic ordering constraint enforcing x <=_lex y (or x <_lex y if strict is true).
    NegTable
    Negative table constraint ensuring that the tuple of values assigned to x does not match any forbidden tuple in array.
    NoOpConstraint
    A constraint that does nothing.
    Sorted
    Sorted constraint: y is the sorted version of x with position permutation o (i.e.
    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.
    Table
    Positive table constraint ensuring that the tuple of values assigned to x belongs to the set of allowed tuples in array.