Lines Matching defs:rb
263 Block *lb = v->left->block, *rb = v->right->block;
264 if(lb != rb) {
265 lb->merge(rb,v);
282 =lb->splitBetween(v->left,v->right,lb,rb);
306 bs->insert(rb);
308 bs->insert(lb->merge(rb,v));
791 Block *rb=v->right->block;
792 // rb may not be this if called between merge and mergeIn
796 f<<" timestamps: left="<<lb->timeStamp<<" right="<<rb->timeStamp<<" constraint="<<v->timeStamp<<endl;
798 if(lb == rb) {
804 f<<" rb="<<*rb<<endl;
1159 Block* &lb, Block* &rb) {
1169 split(lb,rb,c);