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

is_tree234(?Tree)

Check whether argument is a 2-3-4 tree.

Tree: A term

Fail Conditions

Fails if Tree is not a 2-3-4 tree.

Resatisfiable

no

See Also