package
set
Type Members
-
case class
Cardinality
(v: IntSetVar) extends IntInvariant with Product with Serializable
-
case class
Diff
(left: IntSetVar, right: IntSetVar) extends IntSetInvariant with Product with Serializable
-
case class
Inter
(left: IntSetVar, right: IntSetVar) extends IntSetInvariant with Product with Serializable
-
case class
Interval
(lb: IntVar, ub: IntVar) extends IntSetInvariant with Product with Serializable
-
case class
MakeSet
(on: SortedSet[IntVar]) extends IntSetInvariant with Product with Serializable
-
case class
SetProd
(on: IntSetVar, fun: (Int) ⇒ Int) extends IntInvariant with Product with Serializable
-
case class
SetSum
(on: IntSetVar, fun: (Int) ⇒ Int) extends IntInvariant with Product with Serializable
-
case class
Union
(left: IntSetVar, right: IntSetVar) extends IntSetInvariant with Product with Serializable
This package proposes a set of invariants related to set manipulation: union, intersect, diff, plus some operators such as sum and prod.