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.
Return an updater for the value at parameter t.
Return an updater for the value at parameter t. Used as s (t) this will return the value in the state s at parameter t. Used as s (t) := u this will update the value to u at parameter 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.
Change this item of state to the value u at parameter t.
Change this item of state to the value u at parameter t. The change occurs immediately.
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 at t or not ?
Is this state item undefined or not?
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 at t.
Make this state item undefined.
Make this state item undefined.
Return the value of this state item if it's defined at parameter t.
Return the value of this state item if it's defined at parameter t. Otherwise abort execution.
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 parameterised item of abstract state machine state holding values of type U, associated with parameters of type T.