Packages

case class ActionEval[Exp, Abs, Addr](e: Exp, env: Environment[Addr], store: Store[Addr, Abs], effects: Set[Effect[Addr]] = Set[Effect[Addr]]())(implicit evidence$31: Expression[Exp], evidence$32: JoinLattice[Abs], evidence$33: Address[Addr]) extends Action[Exp, Abs, Addr] with Product with Serializable

Evaluation continues with expression e in environment env

Linear Supertypes
Serializable, Serializable, Action[Exp, Abs, Addr], MemoHashCode, Product, Equals, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ActionEval
  2. Serializable
  3. Serializable
  4. Action
  5. MemoHashCode
  6. Product
  7. Equals
  8. AnyRef
  9. 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 ActionEval(e: Exp, env: Environment[Addr], store: Store[Addr, Abs], effects: Set[Effect[Addr]] = Set[Effect[Addr]]())(implicit arg0: Expression[Exp], arg1: JoinLattice[Abs], arg2: Address[Addr])

Value Members

  1. def addEffects(effs: Set[Effect[Addr]]): ActionEval[Exp, Abs, Addr]
    Definition Classes
    ActionEval → Action
  2. val e: Exp
  3. val effects: Set[Effect[Addr]]
  4. val env: Environment[Addr]
  5. def hashCode(): Int

    Memoized default hash code

    Memoized default hash code

    Definition Classes
    MemoHashCode → AnyRef → Any
  6. val store: Store[Addr, Abs]