Action (Averest)

Action Type

Namespace: Averest.TeachingTools
Assembly: Averest.dll
Parent Module: WeakMemory
Abbreviation For: string * string * string * int
Base Type: obj
All Interfaces: IStructuralComparable , IStructuralEquatable , IComparable , ITuple

Actions (lbl,act,var,val) consist of a label, an action (which is either read or write, a variable var and a value read from or written to that variable