Returns true
if this vector time is less than that
(= this happened before that
).
Returns true
if this vector time is concurrent to that
.
Returns true
if this vector time is less than or equal to that
.
Returns true
if this vector time is greater than that
(= that
happened before this).
Returns true
if this vector time is greater than or equal to that
.
Returns true
if this vector time is concurrent to that
.
Returns true
if this vector time is equivalent (equal) to that
.
Java API
Java API
Returns true
if this vector time is greater than that
(= that
happened before this).
Java API
Java API
Returns true
if this vector time is greater than or equal to that
.
Increments local time of given processId
by count
.
Returns the local time of processId
represented as vector time.
Returns the local time of processId
.
Java API
Java API
Returns true
if this vector time is less than that
(= this happened before that
).
Java API
Java API
Returns true
if this vector time is less than or equal to that
.
Merges this vector time with that
by taking the max of
the corresponding local times.
Sets the local time of processId
.
Vector time, represented as process id -> logical time map.