ManyVersionVector

The type of the concrete implementation, e.g. GSet[A]. To be specified by subclass.

Merges this VersionVector with another VersionVector. E.g. merges its versioned history.

The nodes that have changed the state for this data and would need pruning when such node is no longer part of the cluster.

Does it have any state changes from a specific node, which has been removed from the cluster.

When the removed node has been removed from the cluster the state changes from that node will be pruned by collapsing the data entries to another node.

Remove data entries from a node that has been removed from the cluster and already been pruned.

Returns a string representation of the object.

The default representation is platform dependent.

Increment the version for the node passed as argument. Returns a new VersionVector.

Returns true if this is before that else false.

Returns true if this and that are concurrent else false.

Returns true if this VersionVector has the same history as the 'that' VersionVector else false.

Returns true if this is after that else false.

Compare two version vectors. The outcome will be one of the following:

 1. Version 1 is SAME (==)       as Version 2 iff for all i c1(i) == c2(i)
 2. Version 1 is BEFORE (<)      Version 2 iff for all i c1(i) <= c2(i) and there exist a j such that c1(j) < c2(j)
 3. Version 1 is AFTER (>)       Version 2 iff for all i c1(i) >= c2(i) and there exist a j such that c1(j) > c2(j).
 4. Version 1 is CONCURRENT (<>) to Version 2 otherwise.

Increment the version for the node passed as argument. Returns a new VersionVector.