CrdtTreeNodeID

CrdtTreeNodeID represent an ID of a node in the tree. It is used to identify a node in the tree. It is composed of the creation time of the node and the offset from the beginning of the node if the node is split.

Some of replicas may have nodes that are not split yet. In this case, we can use map.floorEntry() to find the adjacent node.

Types

Link copied to clipboard
object Companion

Properties

Link copied to clipboard

Creation time of the node.

Link copied to clipboard
val offset: Int

The distance from the beginning of the node when the node is split.

Functions

Link copied to clipboard
open operator override fun compareTo(other: CrdtTreeNodeID): Int
Link copied to clipboard
open override fun toStruct(): CrdtTreeNodeIDStruct