fx\src\data\System\Data\RbTree.cs (7)
734root_id = RightRotate (root_id, Parent (Parent (x_id)), mainTreeNodeID); // RightRotate (x.parent.parent);
752root_id = RightRotate (root_id, x_id, mainTreeNodeID);
1088root_id = RightRotate (root_id, w_id, mainTreeNodeID);
1109root_id = RightRotate (root_id, px_id, mainTreeNodeID);
1116root_id = RightRotate (root_id, px_id, mainTreeNodeID);
1144root_id = RightRotate (root_id, px_id, mainTreeNodeID);
1154root_id = RightRotate (root_id, px_id, mainTreeNodeID);