HEIGHT( t: tree of T ): integer satisfies if t = empty_tree then HEIGHT(t) = 0 else there exists root: ... Methods inherited from interface components.tree.
確定! 回上一頁