Packages

sealed trait SetLattice[A] extends AnyRef

Lattice of sets, i.e. the lattice of sets that also includes bottom, top and near-top elements.

A

Type of elements in the set

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. SetLattice
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract def +(elem: A): SetLattice[A]

    this+elem: Return the set lattice including the extra element elem

  2. abstract def ++(other: GenTraversableOnce[A]): SetLattice[A]

    this++other: Set union

  3. abstract def -(elem: A): SetLattice[A]

    this-elem: Return the set lattice with the element elem removed

  4. abstract def --(other: GenTraversableOnce[A]): SetLattice[A]

    this--other: Set subtraction

  5. abstract def contains(elem: A): Boolean

    True when this lattice contains the element elem.

  6. abstract def intersect(other: Set[A]): SetLattice[A]

    this intersect other: Set intersection

  7. abstract def isEmpty: Boolean

    True indicates that this lattice is the empty lattice bottom.

  8. abstract def isInfinite: Boolean

    True indicates that this lattice represents an infinite set of elements, such as all variables.

  9. abstract def prettyString: String
  10. abstract def symbols[B >: A]: Set[B]

    Set of verbatim occurring symbols in this (possibly top) SetLattice

  11. abstract def toSet[B >: A]: Set[B]

    Convert to a (finite ordinary) Set if !isInfinite

  12. abstract def toSetLattice[B >: A]: SetLattice[B]

    Convert to SetLattices of subtype parameters.

Concrete Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. def ++(other: SetLattice[A]): SetLattice[A]

    this++other: Set union.

  4. def --(other: SetLattice[A]): SetLattice[A]

    this--other: Set subtraction.

  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(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  10. def finalize(): scala.Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  11. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  12. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  13. def intersect(other: SetLattice[A]): SetLattice[A]

    this intersect other: Set intersection.

  14. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  15. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  16. final def notify(): scala.Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  17. final def notifyAll(): scala.Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  18. def subsetOf(other: SetLattice[A]): Boolean
  19. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  20. def toString(): String
    Definition Classes
    AnyRef → Any
  21. final def wait(): scala.Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  22. final def wait(arg0: Long, arg1: Int): scala.Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  23. final def wait(arg0: Long): scala.Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped