System\Data\RbTree.cs (6)
767root_id = RightRotate(root_id, Parent(Parent(x_id)), mainTreeNodeID); // RightRotate (x.parent.parent);
785root_id = RightRotate(root_id, x_id, mainTreeNodeID);
1139root_id = RightRotate(root_id, w_id, mainTreeNodeID);
1161root_id = RightRotate(root_id, px_id, mainTreeNodeID);
1169root_id = RightRotate(root_id, px_id, mainTreeNodeID);
1198root_id = RightRotate(root_id, px_id, mainTreeNodeID);