object
rbtree
¶
Red-Black trees. Uses standard order to compare keys.
Author: Vitor Santos Costa; Logtalk port and additional predicates by Paulo Moura.
Version: 1.7
Date: 2019/5/17
Compilation flags:
static, context_switching_calls
Remarks:
(none)
Inherited public predicates:
Public predicates¶
partial_map/4
¶
Applies a closure to the tree pairs identified by a set of keys.
Compilation flags:
static
Template:
partial_map(Tree,Keys,Closure,NewTree)
Meta-predicate template:
partial_map(*,*,2,*)
Mode and number of proofs:
partial_map(+tree,+list,@closure,-tree)
- zero_or_one
Protected predicates¶
(no local declarations; see entity ancestors if any)
Private predicates¶
(no local declarations; see entity ancestors if any)