Packages

object Concrete

Some implementations of these abstract domains

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

Type Members

  1. type B = L[Boolean]
  2. type C = L[Char]
  3. type F = L[Double]
  4. type I = L[Int]
  5. sealed trait L[+A] extends AnyRef
  6. type S = L[String]
  7. type Sym = L[String]
  8. case class Values[A](content: ISet[A]) extends L[A] with Product with Serializable

Value Members

  1. object L
  2. object Top extends L[Nothing] with Product with Serializable