- Documentation
- Reference manual
- Summary
- Library predicates
- library(aggregate)
- library(ansi_term)
- library(apply)
- library(assoc)
- library(broadcast)
- library(charsio)
- library(check)
- library(clpb)
- library(clpfd)
- library(clpqr)
- library(csv)
- library(dcgbasics)
- library(dcghighorder)
- library(debug)
- library(dicts)
- library(error)
- library(fastrw)
- library(explain)
- library(help)
- library(gensym)
- library(heaps)
- library(increval)
- library(intercept)
- library(iostream)
- library(listing)
- library(lists)
- library(main)
- library(occurs)
- library(option)
- library(optparse)
- library(ordsets)
- library(persistency)
- library(portraytext)
- library(predicate_options)
- library(prologdebug)
- library(prologjiti)
- library(prologpack)
- library(prologxref)
- library(pairs)
- library(pio)
- library(random)
- library(rbtrees)
- library(readutil)
- library(record)
- library(registry)
- library(settings)
- library(simplex)
- library(statistics)
- library(terms)
- library(ugraphs)
- library(url)
- library(www_browser)
- library(solution_sequences)
- library(thread)
- library(thread_pool)
- library(varnumbers)
- library(yall)
- Library predicates
- Summary
- Packages
- Reference manual
min/3">rb_min/3Key
is the minimum key in Tree, and is associated with Val.
rb_new/1 Create
a new Red-Black tree Tree.
rb_next/4 Next
is the next element after Key in Tree, and is associated with Val.
rb_partial_map/4 For
all nodes Key in Keys, if the value associated with key Key is Val0 in
tree Tree, and if call(G,Val0,ValF) holds, then the value associated
with Key in NewTree is ValF, otherwise it is the value associated with
the key in Tree.
rb_previous/4 Previous
is the previous element after Key in Tree, and is associated with Val.
rb_size/2 Size
is the number of elements in Tree.
rb_update/4 Tree
NewTree is tree Tree, but with value for Key associated with NewVal.
rb_update/5 Same
as =
rb_visit/2
|
rb_update(Tree, Key, NewVal, NewTree)|
=
but also unifies OldVal with the value associated with Key in Tree.