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 called sname.