constraints.lib

basic

package basic

Visibility
  1. Public
  2. All

Type Members

  1. case class EQ (left: IntVar, right: IntVar) extends Equal with Product with Serializable

  2. case class G (left: IntVar, right: IntVar) extends L with Product with Serializable

    implements left > right it is just a parameter swap of L

  3. case class GE (left: IntVar, right: IntVar) extends LE with Product with Serializable

    implements left >= right it is just a parameter swap of LE

  4. case class L (left: IntVar, right: IntVar) extends Constraint with Product with Serializable

    implements left < right it is just the

  5. case class LE (left: IntVar, right: IntVar) extends Constraint with Product with Serializable

    implements left <= right

  6. case class NE (left: IntVar, right: IntVar) extends Constraint with Product with Serializable

    implements left != right