627SetColor(newMainTreeNodeId, color(z_id)); 648SetColor(z_id, NodeColor.black); 741SetColor(x_id, NodeColor.red); 752SetColor(Parent(x_id), NodeColor.black); // x.parent.color = Color.black; 753SetColor(y_id, NodeColor.black); 754SetColor(Parent(Parent(x_id)), NodeColor.red); // x.parent.parent.color = Color.red; 765SetColor(Parent(x_id), NodeColor.black); // x.parent.color = Color.black; 766SetColor(Parent(Parent(x_id)), NodeColor.red); // x.parent.parent.color = Color.red; 775SetColor(Parent(x_id), NodeColor.black); 776SetColor(y_id, NodeColor.black); 777SetColor(Parent(Parent(x_id)), NodeColor.red); // x.parent.parent.color = Color.red; 788SetColor(Parent(x_id), NodeColor.black); // x.parent.color = Color.black; 789SetColor(Parent(Parent(x_id)), NodeColor.red); // x.parent.parent.color = Color.red; 796SetColor(root, NodeColor.black); 798SetColor(root_id, NodeColor.black); 984SetColor(satelliteRootId, color(mNode)); // Next of satelliteRootId is already NIL 1036SetColor(y_id, color(z_id)); 1121SetColor(w_id, NodeColor.black); 1122SetColor(px_id, NodeColor.red); 1129SetColor(w_id, NodeColor.red); 1137SetColor(Left(w_id), NodeColor.black); 1138SetColor(w_id, NodeColor.red); 1143SetColor(w_id, color(px_id)); 1144SetColor(px_id, NodeColor.black); 1145SetColor(Right(w_id), NodeColor.black); 1157SetColor(w_id, NodeColor.black); 1160SetColor(px_id, NodeColor.red); 1168SetColor(px_id, NodeColor.red); 1181SetColor(w_id, NodeColor.red); 1189SetColor(Right(w_id), NodeColor.black); 1190SetColor(w_id, NodeColor.red); 1195SetColor(w_id, color(px_id)); 1196SetColor(px_id, NodeColor.black); 1197SetColor(Left(w_id), NodeColor.black); 1206SetColor(x_id, NodeColor.black);