Rga Tree Split Node ID
data class RgaTreeSplitNodeID : Comparable<RgaTreeSplitNodeID> , JsonSerializable<RgaTreeSplitNodeID, RgaTreeSplitNodeIDStruct>
Properties
Functions
Link copied to clipboard
Link copied to clipboard
Returns whether the given ID has the same creation time with this RgaTreeSplitNodeID.
Link copied to clipboard
Creates a new RgaTreeSplitNodeID with the given offset.
Link copied to clipboard