next up previous contents
Next: The VDM Operation Up: VDM Specification of an Previous: The VDM Operation node

The VDM Operation is_empty?

The operation $is\_empty?$ returns true if and only if the tree is equal to the constant :


\begin{fn}{is\_empty?} \signature{Ordered\_tree \To \Bool} \parms{t} \If t = \const{Empty} \Then\\ true \Else false \Fi \end{fn}

Lee McCluskey
2002-12-18