VectorTimestamp

A timestamp for use with VectorClock.

components is a map from node IDs to timestamps. The timestamp of a node is the number of events that have occurred on that node.

components must be non-empty.

This implementation is Comparable. Two instances of VectorTimestamp are considered equal if they are either identical or concurrent.

Constructors

constructor(vararg components: <Error class: unknown class><NodeId, Timestamp>)

Convenience constructor for creating a VectorTimestamp from a list of node IDs and timestamps.

constructor(components: Map<NodeId, Timestamp>)

Two instances of VectorTimestamp are considered equal if they are either identical or concurrent.