[ library(m_tree234) | Reference Manual | Alphabetic Index ]
update(+Tree0, ++Key, ?Value, -Tree)
Update the value corresponding to a key in a tree.
- A 2-3-4 tree
- A key to update
- The value corresponding to Key
- The tree after updating
If the key Key already exists in the tree Tree0, then this predicate
updates the corresponding value to be Value. The resulting tree is
This predicate should only be called with trees created by other
predicates from the tree234 module.
Fails if Key does not appear in Tree0.
insert / 4, set / 4