Value Members

1.  final def !=(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

2.  final def ##(): Int

   Definition Classes

   AnyRef → Any

3.  def &(lb: Int, ub: Int): Domain

   Definition Classes

   IntervalDomain → Domain

4.  def &(d: Domain): Domain

   Definition Classes

   IntervalDomain → Domain

5.  def &(i: Interval): Domain

   Definition Classes

   Domain

6.  def ++(values: Traversable[Int]): IntDomain

   Definition Classes

   IntDomain

7.  def --(d: Domain): Domain

   Definition Classes

   Domain

8.  final def ==(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

9.  final def asInstanceOf[T0]: T0

   Definition Classes

   Any

10.  final def assign(value: Int): Singleton

    Definition Classes

    IntDomain → Domain

11.  def clone(): AnyRef

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @native() @throws( ... )

12.  def convex: Boolean

    Definition Classes

    IntervalDomain → Domain

13.  def disjoint(d: Domain): Boolean

    Definition Classes

    IntervalDomain → Domain

14.  final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

15.  def equals(o: Any): Boolean

    Definition Classes

    Domain → AnyRef → Any

16.  def exists(p: (Int) ⇒ Boolean): Boolean

    Definition Classes

    Domain

17.  def filter(f: (Int) ⇒ Boolean): Domain

    Definition Classes

    IntervalDomain → Domain

18.  def filterBounds(f: (Int) ⇒ Boolean): IntDomain

    Definition Classes

    IntervalDomain → Domain

19.  def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

20.  def find(p: (Int) ⇒ Boolean): Option[Int]

    Definition Classes

    Domain

21.  def forall(p: (Int) ⇒ Boolean): Boolean

    Definition Classes

    Domain

22.  def foreach[U](f: (Int) ⇒ U): Unit

    Definition Classes

    IntervalDomain → Domain

23.  final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

24.  def hashCode(): Int

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

25.  def head: Int

    Definition Classes

    IntervalDomain → Domain → MiniSet

26.  def headOption: Option[Int]

    Definition Classes

    Domain

27.  def isAssigned: Boolean

    Definition Classes

    IntervalDomain → Domain

28.  def isEmpty: Boolean

    Definition Classes

    IntervalDomain → Domain

29.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

30.  def iterator: Iterator[Int]
31.  def last: Int

    Definition Classes

    IntervalDomain → Domain

32.  lazy val logger: Logger

    Attributes

    protected

    Definition Classes

    LazyLogging

33.  def median: Int

    Definition Classes

    IntervalDomain → Domain

34.  final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

35.  def next(i: Int): Int

    Definition Classes

    IntervalDomain → Domain

36.  def nextOption(i: Int): Option[Int]

    Definition Classes

    Domain

37.  def nonEmpty: Boolean

    Definition Classes

    Domain

38.  final def notify(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

39.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

40.  def present(index: Int): Boolean
    index

    index to test

    returns

    true iff index is present

    Definition Classes

    IntervalDomain → Domain → MiniSet

41.  def prev(i: Int): Int

    Definition Classes

    IntervalDomain → Domain

42.  def prevOption(i: Int): Option[Int]

    Definition Classes

    Domain

43.  def remove(index: Int): IntDomain

    Definition Classes

    IntervalDomain → Domain

44.  def removeAfter(lb: Int): IntDomain

    Definition Classes

    IntervalDomain → Domain

45.  def removeFrom(lb: Int): IntDomain
    returns

    Removes all indexes starting from given lower bound.

    Definition Classes

    IntervalDomain → Domain

46.  def removeIfPresent(value: Int): Domain

    Definition Classes

    Domain

47.  def removeItv(from: Int, to: Int): Domain

    Definition Classes

    IntDomain → Domain

48.  def removeTo(ub: Int): IntDomain
    returns

    Removes all indexes up to given upper bound.

    Definition Classes

    IntervalDomain → Domain

49.  def removeUntil(ub: Int): IntDomain

    Definition Classes

    IntervalDomain → Domain

50.  def shift(o: Int): IntDomain

    Definition Classes

    IntervalDomain → Domain

51.  def singleValue: Nothing

    Definition Classes

    IntervalDomain → Domain

52.  def size: Int

    Definition Classes

    IntervalDomain → Domain → MiniSet

53.  val span: Interval

    Definition Classes

    IntervalDomain → Domain

54.  def subsetOf(d: Domain): Boolean

    Definition Classes

    IntervalDomain → Domain

55.  def subsetOf(d: IntDomain): Boolean
56.  final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

57.  def toBitVector(offset: Int): BitVector

    Definition Classes

    IntervalDomain → Domain

58.  def toString(): String

    Definition Classes

    IntervalDomain → AnyRef → Any

59.  def view: Traversable[Int]

    Definition Classes

    Domain

60.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

61.  final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

62.  final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @native() @throws( ... )

63.  def |(value: Int): IntDomain

    Definition Classes

    IntervalDomain → IntDomain

64.  def |(i1: Interval): IntDomain
65.  def |(d: Domain): Domain

    Definition Classes

    IntervalDomain → Domain