Packages

c

ValueSensitiveAddress

VariableAddress

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

Linear Supertypes
Serializable, Serializable, Product, Equals, A, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. VariableAddress
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. A
  7. AnyRef
  8. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new VariableAddress(id: Identifier, value: Abs, t: Time)(implicit arg0: Timestamp[Time], arg1: JoinLattice[Abs])

Value Members

  1. val id: Identifier
  2. val t: Time
  3. def toString(): String
    Definition Classes
    VariableAddress → AnyRef → Any
  4. val value: Abs