[ library(m_tree234) | Reference Manual | Alphabetic Index ]

is_empty(+Tree)

Check whether a tree is empty.

Tree: A 2-3-4 tree

Fail Conditions

Fails if Tree is not an empty tree.

Resatisfiable

no

See Also