Packages

o

be.opimedia.scala_par_am

ValueSensitiveAddress

object ValueSensitiveAddress extends AddressWrapper

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

Type Members

  1. trait A extends AnyRef
  2. case class CellAddress[Exp, Time](exp: Exp, t: Time)(implicit evidence$17: Expression[Exp], evidence$18: Timestamp[Time]) extends A with Product with Serializable
  3. case class PrimitiveAddress(name: String) extends A with Product with Serializable
  4. case class VariableAddress[Time, Abs](id: Identifier, value: Abs, t: Time)(implicit evidence$15: Timestamp[Time], evidence$16: JoinLattice[Abs]) extends A with Product with Serializable

Value Members

  1. implicit val isAddress: Address[A] { ... /* 3 definitions in type refinement */ }
    Definition Classes
    ValueSensitiveAddress → AddressWrapper