[ library(m_tree234) | Reference Manual | Alphabetic Index ]
insert(+Tree0, ++Key, ?Value, -Tree)
Insert a key/value pair into a tree, failing if the key already exists.
- Tree0
- A 2-3-4 tree
- Key
- A key to insert
- Value
- The value corresponding to Key
- Tree
- The tree after insertion
Description
This predicate inserts the key Key with corresponding value Value
into the tree Tree0, resulting in the tree Tree. If the key Key is
already in the tree, then the predicate fails.
This predicate should only be called with trees created by other
predicates from the tree234 module.
Fail Conditions
Fails if Key already appears in Tree0.
Resatisfiable
no
See Also
update / 4, set / 4