basic

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