/** * Get the height of the embedded tree. * * @return */ public final int getTreeHeight() { return m_tree.computeHeight(); }
/** * Get the height of the embedded tree. * * @return */ public final int getTreeHeight() { return m_tree.computeHeight(); }