ManyVersionVector

final def !=(arg0: Any): Boolean

final def ##(): Int

def +(node: Cluster): VersionVector

Increment the version for the node passed as argument.

def ->[B](y: B): (ManyVersionVector, B)

def <(that: VersionVector): Boolean

Returns true if this is before that else false.

def <>(that: VersionVector): Boolean

Returns true if this and that are concurrent else false.

def ==(that: VersionVector): Boolean

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

final def ==(arg0: Any): Boolean

def >(that: VersionVector): Boolean

Returns true if this is after that else false.

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def compareTo(that: VersionVector): Ordering

Compare two version vectors.

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.

def ensuring(cond: (ManyVersionVector) ⇒ Boolean, msg: ⇒ Any): ManyVersionVector

def ensuring(cond: (ManyVersionVector) ⇒ Boolean): ManyVersionVector

def ensuring(cond: Boolean, msg: ⇒ Any): ManyVersionVector

def ensuring(cond: Boolean): ManyVersionVector

final def eq(arg0: AnyRef): Boolean

def finalize(): Unit

def formatted(fmtstr: String): String

final def getClass(): Class[_]

def increment(node: Cluster): VersionVector

Increment the version for the node passed as argument.

def isEmpty: Boolean

final def isInstanceOf[T0]: Boolean

def merge(that: VersionVector): VersionVector

Merges this VersionVector with another VersionVector.

def modifiedByNodes: Set[UniqueAddress]

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

final def ne(arg0: AnyRef): Boolean

def needPruningFrom(removedNode: UniqueAddress): Boolean

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

final def notify(): Unit

final def notifyAll(): Unit

def prune(removedNode: UniqueAddress, collapseInto: UniqueAddress): VersionVector

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.

def pruningCleanup(removedNode: UniqueAddress): VersionVector

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

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

val versions: TreeMap[UniqueAddress, Long]

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

def →[B](y: B): (ManyVersionVector, B)

def +(other: String): String