case class State(procs: Procs, store: Store[Addr, Abs], kstore: KontStore[KontAddr]) extends Product with Serializable

Linear Supertypes
Serializable, Serializable, Product, Equals, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. State
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. AnyRef
  7. 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 State(procs: Procs, store: Store[Addr, Abs], kstore: KontStore[KontAddr])

Value Members

  1. def halted: Boolean
  2. def hasError: Boolean
  3. def integrate(p: PID, ctx: Context, act: ActionHelpers.Act): Set[(State, PID, Option[ActorEffect])]
  4. val kstore: KontStore[KontAddr]
  5. def macrostepAll(sem: Semantics[Exp, Abs, Addr, Time]): Set[(Set[(State, Option[ActorEffect])], PID, G)]
  6. def macrostepPid(p: PID, sem: Semantics[Exp, Abs, Addr, Time]): Option[(G, Set[(State, Option[ActorEffect])])]

    Performs a macrostep for a given PID.

    Performs a macrostep for a given PID. If the state is stuck, returns None. Otherwise, returns the graph explored for this macrostep, as well as every final state and the effect that stopped the macrostep for that state. The final states *are* in the graph (unlike macrostepTrace), because we need to keep track of the edge.

  7. def macrostepPidTrace(p: PID, sem: Semantics[Exp, Abs, Addr, Time]): Option[(State, List[State])]

    Performs a macrostep for a given PID, restricted only to macrosteps that produce linear traces.

    Performs a macrostep for a given PID, restricted only to macrosteps that produce linear traces. If the state is stuck, returns None. Otherwise, returns the final state of the macrostep, as well as the trace explored to reach that state (not including the final state).

  8. def macrostepTraceAll(sem: Semantics[Exp, Abs, Addr, Time]): Set[(State, PID, List[State])]
  9. def macrostepTraceAny(sem: Semantics[Exp, Abs, Addr, Time]): Option[(State, PID, List[State])]
  10. val procs: Procs
  11. def stepAll(sem: Semantics[Exp, Abs, Addr, Time]): Set[(State, PID, Option[ActorEffect])]
  12. def stepAllExceptPid(p: PID, sem: Semantics[Exp, Abs, Addr, Time]): Set[(State, PID, Option[ActorEffect])]
  13. def stepAny(sem: Semantics[Exp, Abs, Addr, Time]): Set[(State, PID, Option[ActorEffect])]
  14. def stepPid(p: PID, sem: Semantics[Exp, Abs, Addr, Time]): Set[(State, PID, Option[ActorEffect])]
  15. def stepPids(pids: Set[PID], sem: Semantics[Exp, Abs, Addr, Time]): Set[(State, PID, Option[ActorEffect])]
  16. val store: Store[Addr, Abs]
  17. def toXml: List[Node]