update
Updates the state with the given timestamp.
Parameters
ts
the given timestamp.
Updates the state with the given version vector.
Parameters
vv
the given version vector.
Updates the state with the given timestamp.
the given timestamp.
Updates the state with the given version vector.
the given version vector.