Update this item of state to the value t
.
Update this item of state to the value t
. The update is actually
delayed until the end of the step when all updates in that
step happen simultaneously (along with consistency checking). The
state value only becomes defined when this latter process happens.
Equality on the underlying value.
Equality on the underlying value. If this state item is undefined then it's not equal to anything.
The value of this item of state.
The value of this item of state. None
means undefined.
Change this item of state to the value t
.
Change this item of state to the value t
. The change occurs
immediately.
Is this state item undefined or not?
Make a printable representation for the contents of this state object.
Make a printable representation for the contents of this state object.
Make this state item undefined.
Return the value of this state item if it's defined.
Return the value of this state item if it's defined. Otherwise abort execution.
A scalar item of abstract state machine state holding a value of type
T
and calledsname
.