[ library(m_tree234) | Third Party Libraries | Reference Manual | Alphabetic Index ]
delete(+Tree0, ++Key, -Tree)
Delete a key/value pair from a tree.
- Tree0
- A 2-3-4 tree
- Key
- The key to delete
- Tree
- The tree after deletion
Description
If the key Key appears in the tree Tree0, then remove it and its
corresponding value, resulting in the tree Tree. If the key Key
does not appear, Tree is simply bound to Tree0.
This predicate should only be called with trees created by other
predicates from the tree234 module.
Fail Conditions
Never fails.
Resatisfiable
no
See Also
remove / 4