Optionalvector: Map<string, bigint>afterOrEqual returns vector[other.actorID] is greaterOrEqual than given ticket's lamport
deepcopy returns a deep copy of this VersionVector.
filter returns new version vector consist of filter's actorID.
get gets the lamport timestamp of the given actor.
has checks if the given actor exists in the VersionVector.
max returns new version vector which consists of max value of each vector
maxLamport returns max lamport value from vector
set sets the lamport timestamp of the given actor.
size returns size of version vector
unset removes the version for the given actor from the VersionVector.
VersionVectoris a vector clock that is used to detect the relationship between changes whether they are causally related or concurrent. It is similar to vector clocks, but it is synced with lamport timestamp of the change.