VectorTimestamp

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

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

components must be non-empty.


constructor(components: Map<NodeId, Timestamp>)