Node

Functions on the nodes of the disjoint set forest.

Definitions

def incrementRank(n: Node[t, r]): Unit \ r§ Source

Increments the rank of the node n by one.

def parent(n: Node[t, r]): Option[Node[t, r]] \ r§ Source

Returns the parent of the node n, or None if n is a root.

def rank(n: Node[t, r]): Int32 \ r§ Source

Returns the rank of the node n.

def setParent(newParent: Option[Node[t, r]], n: Node[t, r]): Unit \ r§ Source

Sets the parent of the node n to newParent.

def value(n: Node[t, r]): t§ Source

Returns the element stored in the node n.