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:0
Date: 2019-05-17
Compilation flags:
static, context_switching_callsRemarks:
(none)
Inherited public predicates:
Public predicates¶
partial_map/4¶
Applies a closure to the tree pairs identified by a set of keys.
Compilation flags:
staticTemplate:
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_oneProtected predicates¶
(no local declarations; see entity ancestors if any)
Private predicates¶
(no local declarations; see entity ancestors if any)