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

   EmptyIntDomain → Domain

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

   Definition Classes

   EmptyIntDomain → 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.  def apply(i: Int): Nothing
10.  final def asInstanceOf[T0]: T0

    Definition Classes

    Any

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

    Definition Classes

    IntDomain → Domain

12.  def clone(): AnyRef

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @native() @throws( ... )

13.  def convex: Nothing

    Definition Classes

    EmptyIntDomain → Domain

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

    Definition Classes

    EmptyIntDomain → Domain

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

    Definition Classes

    AnyRef

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

    Definition Classes

    Domain → AnyRef → Any

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

    Definition Classes

    Domain

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

    Definition Classes

    EmptyIntDomain → Domain

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

    Definition Classes

    EmptyIntDomain → Domain

20.  def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

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

    Definition Classes

    Domain

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

    Definition Classes

    Domain

23.  def foreach[S](f: (Int) ⇒ S): Unit

    Definition Classes

    EmptyIntDomain → Domain

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

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

25.  def hashCode(): Int

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

26.  def head: Nothing

    Definition Classes

    EmptyIntDomain → Domain → MiniSet

27.  def headOption: Option[Int]

    Definition Classes

    Domain

28.  def isAssigned: Nothing

    Definition Classes

    EmptyIntDomain → Domain

29.  def isEmpty: Boolean

    Definition Classes

    EmptyIntDomain → Domain

30.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

31.  def last: Nothing

    Definition Classes

    EmptyIntDomain → Domain

32.  def median: Nothing

    Definition Classes

    EmptyIntDomain → Domain

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

    Definition Classes

    AnyRef

34.  def next(i: Int): Nothing

    Definition Classes

    EmptyIntDomain → Domain

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

    Definition Classes

    Domain

36.  def nextOrEq(i: Int): Nothing
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(i: Int): Boolean

    Definition Classes

    EmptyIntDomain → Domain → MiniSet

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

    Definition Classes

    EmptyIntDomain → Domain

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

    Definition Classes

    Domain

43.  def prevOrEq(i: Int): Nothing
44.  def remove(i: Int): IntDomain

    Definition Classes

    EmptyIntDomain → Domain

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

    Definition Classes

    EmptyIntDomain → Domain

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

    Removes all indexes starting from given lower bound.

    Definition Classes

    EmptyIntDomain → Domain

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

    Definition Classes

    Domain

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

    Definition Classes

    IntDomain → Domain

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

    Removes all indexes up to given upper bound.

    Definition Classes

    EmptyIntDomain → Domain

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

    Definition Classes

    EmptyIntDomain → Domain

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

    Definition Classes

    EmptyIntDomain → Domain

52.  def singleValue: Nothing

    Definition Classes

    EmptyIntDomain → Domain

53.  def size: Int

    Definition Classes

    EmptyIntDomain → Domain → MiniSet

54.  def span: Nothing

    Definition Classes

    EmptyIntDomain → Domain

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

    Definition Classes

    EmptyIntDomain → Domain

56.  final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

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

    Definition Classes

    EmptyIntDomain → Domain

58.  def toString(): String

    Definition Classes

    EmptyIntDomain → 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 |(v: Int): IntDomain

    Definition Classes

    EmptyIntDomain → IntDomain

64.  def |(d: Domain): Domain

    Definition Classes

    EmptyIntDomain → Domain