public override void visitLeaf(TreeLeaf leaf) { if (depth.ContainsKey(leaf) && depth[leaf] > height) { height = depth[leaf]; } }
public abstract void visitLeaf(TreeLeaf leaf);