Packages

o

SchemeLattices.WithCounting

ConstantPropagationLattice

object ConstantPropagationLattice extends MakeSchemeLattice[S, B, I, F, C, Sym]

Linear Supertypes
MakeSchemeLattice[S, B, I, F, C, Sym], SchemeLattice, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ConstantPropagationLattice
  2. MakeSchemeLattice
  3. SchemeLattice
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. case class Bool(b: B) extends Value with Product with Serializable
    Definition Classes
    MakeSchemeLattice
  2. case class CannotJoin[Abs](values: Set[Abs]) extends Exception with Product with Serializable
    Definition Classes
    MakeSchemeLattice
  3. case class Char(c: C) extends Value with Product with Serializable
    Definition Classes
    MakeSchemeLattice
  4. case class Closure[Exp, Addr](lambda: Exp, env: Environment[Addr])(implicit evidence$9: Expression[Exp], evidence$10: Address[Addr]) extends Value with Product with Serializable
    Definition Classes
    MakeSchemeLattice
  5. case class Cons[Addr](car: Addr, cdr: Addr)(implicit evidence$11: Address[Addr]) extends Value with Product with Serializable
    Definition Classes
    MakeSchemeLattice
  6. case class Element(v: Value) extends L with Product with Serializable
    Definition Classes
    MakeSchemeLattice
  7. case class Elements(vs: Set[Value]) extends L with Product with Serializable
    Definition Classes
    MakeSchemeLattice
  8. case class Int(i: I) extends Value with Product with Serializable
    Definition Classes
    MakeSchemeLattice
  9. sealed trait L extends AnyRef
    Definition Classes
    MakeSchemeLattice
  10. case class Prim[Addr, Abs](prim: Primitive[Addr, Abs])(implicit evidence$7: Address[Addr], evidence$8: JoinLattice[Abs]) extends Value with Product with Serializable
    Definition Classes
    MakeSchemeLattice
  11. case class Real(f: F) extends Value with Product with Serializable
    Definition Classes
    MakeSchemeLattice
  12. case class Str(s: S) extends Value with Product with Serializable
    Definition Classes
    MakeSchemeLattice
  13. case class Symbol(s: Sym) extends Value with Product with Serializable
    Definition Classes
    MakeSchemeLattice
  14. sealed trait Value extends AnyRef
    Definition Classes
    MakeSchemeLattice
  15. case class Vec[Addr](size: I, elements: Map[I, Addr], init: Addr)(implicit evidence$12: Address[Addr]) extends Value with Product with Serializable
    Definition Classes
    MakeSchemeLattice
  16. case class VectorAddress[Addr](a: Addr)(implicit evidence$13: Address[Addr]) extends Value with Product with Serializable
    Definition Classes
    MakeSchemeLattice

Value Members

  1. object Bot extends Value with Product with Serializable
    Definition Classes
    MakeSchemeLattice
  2. object L
    Definition Classes
    MakeSchemeLattice
  3. object Nil extends Value with Product with Serializable
    Definition Classes
    MakeSchemeLattice
  4. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  5. final def ##(): scala.Int
    Definition Classes
    AnyRef → Any
  6. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  7. val False: Bool
    Definition Classes
    MakeSchemeLattice
  8. val True: Bool
    Definition Classes
    MakeSchemeLattice
  9. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  10. val boolAndMonoid: Monoid[Boolean]
    Definition Classes
    MakeSchemeLattice
  11. val boolOrMonoid: Monoid[Boolean]
    Definition Classes
    MakeSchemeLattice
  12. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate() @throws( ... )
  13. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  14. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  15. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  16. def hashCode(): scala.Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  17. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  18. val isSchemeLattice: IsSchemeLattice[L] { ... /* 2 definitions in type refinement */ }
    Definition Classes
    MakeSchemeLatticeSchemeLattice
  19. val isSchemeLatticeValue: IsSchemeLattice[Value]
    Definition Classes
    MakeSchemeLattice
  20. implicit val lsetMonoid: Monoid[L]
    Definition Classes
    MakeSchemeLattice
  21. implicit def mayFailMonoid[A](implicit monoid: Monoid[A]): Monoid[MayFail[A]]
    Definition Classes
    MakeSchemeLattice
  22. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  23. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  24. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  25. implicit def setMonoid[A]: Monoid[Set[A]]
    Definition Classes
    MakeSchemeLattice
  26. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  27. def toString(): String
    Definition Classes
    AnyRef → Any
  28. final def wait(arg0: Long, arg1: scala.Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  29. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  30. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @Deprecated @deprecated @throws( classOf[java.lang.Throwable] )
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

Inherited from MakeSchemeLattice[S, B, I, F, C, Sym]

Inherited from SchemeLattice

Inherited from AnyRef

Inherited from Any

Ungrouped