prolog::rb_key_fold/4¶

rb_key_fold(+ Tree,+ G,+ Acc0, - AccF)*

For all nodes Key in the tree Tree, if the value associated with key Key is V in tree Tree, if call(G,Key,V,Acc1,Acc2) holds, then if VL is value of the previous node in inorder, call(G,KeyL,VL,_,Acc0) must hold, and if VR is the value of the next node in inorder, call(G,KeyR,VR,Acc1,_) must hold.

Private-func:¶

1. prolog::rb_key_fold_4::rb_key_fold/4(int ARG1, int ARG2, int ARG3, int ARG4)():