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 typeT
.