Value Members

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

   Definition Classes

   AnyRef → Any

2.  final def ##(): Int

   Definition Classes

   AnyRef → Any

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

   Definition Classes

   BitVectorDomain → Domain

4.  def &(lb: Int, ub: Int): IntDomain

   Definition Classes

   BitVectorDomain → 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.  val bitVector: BitVector
12.  def clone(): AnyRef

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @native() @throws( ... )

13.  def convex: Boolean

    Definition Classes

    BitVectorDomain → Domain

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

    Definition Classes

    BitVectorDomain → 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

    BitVectorDomain → Domain

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

    Definition Classes

    BitVectorDomain → 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[U](f: (Int) ⇒ U): Unit

    Definition Classes

    BitVectorDomain → 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: Int

    Definition Classes

    BitVectorDomain → Domain → MiniSet

27.  def headOption: Option[Int]

    Definition Classes

    Domain

28.  def isAssigned: Boolean

    Definition Classes

    BitVectorDomain → Domain

29.  def isEmpty: Boolean

    Definition Classes

    BitVectorDomain → Domain

30.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

31.  def iterator: Iterator[Int]
32.  val last: Int

    Definition Classes

    BitVectorDomain → Domain

33.  lazy val logger: Logger

    Attributes

    protected

    Definition Classes

    LazyLogging

34.  def median: Int

    Definition Classes

    BitVectorDomain → Domain

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

    Definition Classes

    AnyRef

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

    Definition Classes

    BitVectorDomain → Domain

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

    Definition Classes

    Domain

38.  def nonEmpty: Boolean

    Definition Classes

    Domain

39.  final def notify(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

40.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

41.  val offset: Int
42.  def present(value: Int): Boolean
    value

    to test

    returns

    true iff value is present

    Definition Classes

    BitVectorDomain → Domain → MiniSet

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

    Definition Classes

    BitVectorDomain → Domain

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

    Definition Classes

    Domain

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

    Definition Classes

    BitVectorDomain → Domain

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

    Definition Classes

    BitVectorDomain → Domain

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

    Removes all indexes starting from given lower bound.

    Definition Classes

    BitVectorDomain → Domain

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

    Definition Classes

    Domain

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

    Definition Classes

    IntDomain → Domain

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

    Removes all indexes up to given upper bound.

    Definition Classes

    BitVectorDomain → Domain

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

    Definition Classes

    BitVectorDomain → Domain

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

    Definition Classes

    BitVectorDomain → Domain

53.  def singleValue: Nothing

    Definition Classes

    BitVectorDomain → Domain

54.  val size: Int

    Definition Classes

    BitVectorDomain → Domain → MiniSet

55.  lazy val span: Interval

    Definition Classes

    BitVectorDomain → Domain

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

    Definition Classes

    BitVectorDomain → Domain

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

    Definition Classes

    AnyRef

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

    Definition Classes

    BitVectorDomain → Domain

59.  def toString(): String

    Definition Classes

    BitVectorDomain → AnyRef → Any

60.  def view: Traversable[Int]

    Definition Classes

    Domain

61.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @native() @throws( ... )

64.  def |(span: Interval): IntDomain
65.  def |(value: Int): IntDomain

    Definition Classes

    BitVectorDomain → IntDomain

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

    Definition Classes

    BitVectorDomain → Domain