abstract class Domain extends MiniSet

Linear Supertypes
MiniSet, AnyRef, Any
Known Subclasses
BitVectorDomain, BooleanDomain, EMPTY, FALSE, TRUE, UNKNOWNBoolean, EmptyIntDomain, IntDomain, IntervalDomain, Singleton, TreeSetDomain
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Domain
  2. MiniSet
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Domain()

Abstract Value Members

  1. abstract def &(d: Domain): Domain
  2. abstract def &(a: Int, b: Int): Domain
  3. abstract def assign(value: Int): Domain
  4. abstract def convex: Boolean
  5. abstract def disjoint(d: Domain): Boolean
  6. abstract def filter(p: (Int) ⇒ Boolean): Domain
  7. abstract def filterBounds(f: (Int) ⇒ Boolean): Domain
  8. abstract def foreach[S](f: (Int) ⇒ S): Unit
  9. abstract def head: Int
    Definition Classes
    Domain → MiniSet
  10. abstract def isAssigned: Boolean
  11. abstract def isEmpty: Boolean
  12. abstract def last: Int
  13. abstract def median: Int
  14. abstract def next(i: Int): Int
  15. abstract def present(value: Int): Boolean
    Definition Classes
    Domain → MiniSet
  16. abstract def prev(i: Int): Int
  17. abstract def remove(value: Int): Domain
  18. abstract def removeAfter(lb: Int): Domain
  19. abstract def removeFrom(lb: Int): Domain

    returns

    Removes all indexes starting from given lower bound.

  20. abstract def removeItv(from: Int, to: Int): Domain
  21. abstract def removeTo(ub: Int): Domain

    returns

    Removes all indexes up to given upper bound.

  22. abstract def removeUntil(ub: Int): Domain
  23. abstract def shift(o: Int): Domain
  24. abstract def singleValue: Int
  25. abstract def size: Int
    Definition Classes
    Domain → MiniSet
  26. abstract def span: Interval
  27. abstract def subsetOf(d: Domain): Boolean
  28. abstract def toBitVector(offset: Int): BitVector
  29. abstract def |(d: Domain): Domain

Concrete Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. def &(i: Interval): Domain
  4. def --(d: Domain): Domain
  5. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  6. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  7. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  8. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  9. def equals(o: Any): Boolean
    Definition Classes
    Domain → AnyRef → Any
  10. def exists(p: (Int) ⇒ Boolean): Boolean
  11. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  12. def find(p: (Int) ⇒ Boolean): Option[Int]
  13. def forall(p: (Int) ⇒ Boolean): Boolean
  14. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  15. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  16. def headOption: Option[Int]
  17. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  18. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  19. def nextOption(i: Int): Option[Int]
  20. def nonEmpty: Boolean
  21. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  22. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  23. def prevOption(i: Int): Option[Int]
  24. def removeIfPresent(value: Int): Domain
  25. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  26. def toString(): String
    Definition Classes
    AnyRef → Any
  27. def view: Traversable[Int]
  28. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  29. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  30. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )

Inherited from MiniSet

Inherited from AnyRef

Inherited from Any

Ungrouped