Return a key for use when checking consistency of this update with other updates.
Return a key for use when checking consistency of this update with other updates. Must uniquely determine the state that is being updated.
Perform this update
Perform this update
Return the value to which the state is being updated.
Return the value to which the state is being updated.
An update of an item of state s to have the value t.