constraints.lib

global

package global

Visibility
  1. Public
  2. All

Type Members

  1. case class AllDiff (variables: Iterable[IntVar]) extends Constraint with Product with Serializable

    Implement the AllDiff constraint on IntVars: all variables must have a different value.

  2. case class AtLeast (variables: Iterable[IntVar], bounds: SortedMap[Int, Int]) extends Constraint with Product with Serializable

    Implement the AtLeast constraint on IntVars.

  3. case class AtMost (variables: Iterable[IntVar], bounds: SortedMap[Int, Int]) extends Constraint with Product with Serializable

    Implements the AtMost constraint on IntVar.

  4. case class BinPacking (items: Array[IntVar], itemsizes: Array[IntVar], binsizes: Array[IntVar]) extends Constraint with Product with Serializable

    This is the standard bin packing constraint