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:8:0
Date: 2020-03-10
Compilation flags:
static, context_switching_calls
Remarks:
(none)
Inherited public predicates:
apply/4 as_dictionary/2 as_list/2 check/1 clone/3 clone/4 delete/4 delete_max/4 delete_min/4 depth/2 empty/1 ground/1 insert/4 keys/2 lookup/2 lookup/3 map/2 map/3 max/3 min/3 new/1 next/4 occurs/2 previous/4 singletons/2 size/2 subsumes/2 subterm/2 update/3 update/4 update/5 valid/1 values/2 variables/2 variant/2
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)