internal NodeEnumerator(RBTree tree, Stack <Node> init_pennants) : this(tree) { this.init_pennants = init_pennants; }
public void Dispose() { tree = null; pennants = null; }
internal NodeEnumerator(RBTree tree) : this() { this.tree = tree; version = tree.version; }