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

   Singleton → Domain

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

   Definition Classes

   Singleton → 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): Int
10.  final def asInstanceOf[T0]: T0

    Definition Classes

    Any

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

    Definition Classes

    IntDomain → Domain

12.  lazy val bitVector: BitVector
13.  def clone(): AnyRef

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @native() @throws( ... )

14.  def convex: Boolean

    Definition Classes

    Singleton → Domain

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

    Definition Classes

    Singleton → Domain

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

    Definition Classes

    AnyRef

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

    Definition Classes

    Domain → AnyRef → Any

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

    Definition Classes

    Domain

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

    Definition Classes

    Singleton → Domain

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

    Definition Classes

    Singleton → Domain

21.  def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

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

    Definition Classes

    Domain

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

    Definition Classes

    Domain

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

    Definition Classes

    Singleton → Domain

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

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

26.  def hashCode(): Int

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

27.  def head: Int

    Definition Classes

    Singleton → Domain → MiniSet

28.  def headOption: Option[Int]

    Definition Classes

    Domain

29.  def isAssigned: Boolean

    Definition Classes

    Singleton → Domain

30.  def isEmpty: Boolean

    Definition Classes

    Singleton → Domain

31.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

32.  def iterator: Iterator[Int]
33.  def last: Int

    Definition Classes

    Singleton → Domain

34.  lazy val logger: Logger

    Attributes

    protected

    Definition Classes

    LazyLogging

35.  def median: Int

    Definition Classes

    Singleton → Domain

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

    Definition Classes

    AnyRef

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

    Definition Classes

    Singleton → Domain

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

    Definition Classes

    Domain

39.  def nextOrEq(i: Int): Int
40.  def nonEmpty: Boolean

    Definition Classes

    Domain

41.  final def notify(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

42.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

43.  def present(i: Int): Boolean
    i

    index to test

    returns

    true iff index is present

    Definition Classes

    Singleton → Domain → MiniSet

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

    Definition Classes

    Singleton → Domain

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

    Definition Classes

    Domain

46.  def prevOrEq(i: Int): Int
47.  def remove(i: Int): IntDomain

    Definition Classes

    Singleton → Domain

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

    Definition Classes

    Singleton → Domain

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

    Removes all indexes starting from given lower bound.

    Definition Classes

    Singleton → Domain

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

    Definition Classes

    Domain

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

    Definition Classes

    IntDomain → Domain

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

    Removes all indexes up to given upper bound.

    Definition Classes

    Singleton → Domain

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

    Definition Classes

    Singleton → Domain

54.  var requestedBV: BitVector
55.  var requestedOffset: Int
56.  def shift(o: Int): Singleton

    Definition Classes

    Singleton → Domain

57.  val singleValue: Int

    Definition Classes

    Singleton → Domain

58.  def size: Int

    Definition Classes

    Singleton → Domain → MiniSet

59.  val span: Interval

    Definition Classes

    Singleton → Domain

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

    Definition Classes

    Singleton → Domain

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

    Definition Classes

    AnyRef

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

    Definition Classes

    Singleton → Domain

63.  def toString(): String

    Definition Classes

    Singleton → AnyRef → Any

64.  def view: Traversable[Int]

    Definition Classes

    Domain

65.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @native() @throws( ... )

68.  def |(v: Int): IntDomain

    Definition Classes

    Singleton → IntDomain

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

    Definition Classes

    Singleton → Domain