prolog::rb_fold/4¶

rb_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,V,Acc1,Acc2) holds, then if VL is value of the previous node in inorder, call(G,VL,_,Acc0) must hold, and if VR is the value of the next node in inorder, call(G,VR,Acc1,_) must hold.

Private-func:¶

1. prolog::rb_fold_4::rb_fold/4(int ARG1, int ARG2, int ARG3, int ARG4)():