update
Adds a given timestamp to this version vector.
Parameters
ts
the given timestamp.
Updates this version vector with a given version vector by taking the maximum value for each entry.
Parameters
vv
the given version vector used for update.
Adds a given timestamp to this version vector.
the given timestamp.
Updates this version vector with a given version vector by taking the maximum value for each entry.
the given version vector used for update.