sealed trait BooleanDomain extends Domain

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

Abstract Value Members

  1. abstract def as01: IntDomain
  2. abstract def bitVector: BitVector
  3. abstract def canBe(boolean: Boolean): Boolean
  4. abstract def disjoint(d: Domain): Boolean
    Definition Classes
    Domain
  5. abstract def filter(p: (Int) ⇒ Boolean): Domain
    Definition Classes
    Domain
  6. abstract def head: Int
    Definition Classes
    Domain → MiniSet
  7. abstract def isAssigned: Boolean
    Definition Classes
    Domain
  8. abstract def last: Int
    Definition Classes
    Domain
  9. abstract def median: Int
    Definition Classes
    Domain
  10. abstract def next(i: Int): Int
    Definition Classes
    Domain
  11. abstract def present(value: Int): Boolean
    Definition Classes
    Domain → MiniSet
  12. abstract def prev(i: Int): Int
    Definition Classes
    Domain
  13. abstract def remove(value: Int): Domain
    Definition Classes
    Domain
  14. abstract def removeAfter(lb: Int): Domain
    Definition Classes
    Domain
  15. abstract def removeFrom(lb: Int): Domain

    returns

    Removes all indexes starting from given lower bound.

    Definition Classes
    Domain
  16. abstract def removeTo(ub: Int): Domain

    returns

    Removes all indexes up to given upper bound.

    Definition Classes
    Domain
  17. abstract def removeUntil(ub: Int): Domain
    Definition Classes
    Domain
  18. abstract def shift(o: Int): Domain
    Definition Classes
    Domain
  19. abstract def singleValue: Int
    Definition Classes
    Domain
  20. abstract def size: Int
    Definition Classes
    Domain → MiniSet
  21. abstract def span: Interval
    Definition Classes
    Domain
  22. abstract def subsetOf(d: Domain): Boolean
    Definition Classes
    Domain
  23. abstract def union(bd: BooleanDomain): BooleanDomain

Concrete 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
    BooleanDomain → Domain
  4. def &(lb: Int, ub: Int): Domain
    Definition Classes
    BooleanDomain → Domain
  5. def &(i: Interval): Domain
    Definition Classes
    Domain
  6. def --(d: Domain): Domain
    Definition Classes
    Domain
  7. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  8. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  9. def assign(value: Int): Domain
    Definition Classes
    BooleanDomain → Domain
  10. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  11. def convex: Boolean
    Definition Classes
    BooleanDomain → Domain
  12. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  13. def equals(o: Any): Boolean
    Definition Classes
    Domain → AnyRef → Any
  14. def exists(p: (Int) ⇒ Boolean): Boolean
    Definition Classes
    Domain
  15. def filterBounds(f: (Int) ⇒ Boolean): Domain
    Definition Classes
    BooleanDomain → Domain
  16. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  17. def find(p: (Int) ⇒ Boolean): Option[Int]
    Definition Classes
    Domain
  18. def forall(p: (Int) ⇒ Boolean): Boolean
    Definition Classes
    Domain
  19. def foreach[S](f: (Int) ⇒ S): Unit
    Definition Classes
    BooleanDomain → Domain
  20. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  21. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  22. def headOption: Option[Int]
    Definition Classes
    Domain
  23. def isEmpty: Boolean
    Definition Classes
    BooleanDomain → Domain
  24. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  25. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  26. def nextOption(i: Int): Option[Int]
    Definition Classes
    Domain
  27. def nonEmpty: Boolean
    Definition Classes
    Domain
  28. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  29. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  30. def prevOption(i: Int): Option[Int]
    Definition Classes
    Domain
  31. def removeIfPresent(value: Int): Domain
    Definition Classes
    Domain
  32. def removeItv(from: Int, to: Int): Domain
    Definition Classes
    BooleanDomain → Domain
  33. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  34. def toBitVector(offset: Int): BitVector
    Definition Classes
    BooleanDomain → Domain
  35. def toString(): String
    Definition Classes
    AnyRef → Any
  36. def view: Traversable[Int]
    Definition Classes
    Domain
  37. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  38. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  39. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  40. def |(d: Domain): Domain
    Definition Classes
    BooleanDomain → Domain

Inherited from Domain

Inherited from MiniSet

Inherited from AnyRef

Inherited from Any

Ungrouped