601SetColor(newMainTreeNodeId, color(z_id)); 622SetColor(z_id, NodeColor.black); 708SetColor (x_id, NodeColor.red); 719SetColor (Parent (x_id), NodeColor.black); // x.parent.color = Color.black; 720SetColor (y_id, NodeColor.black); 721SetColor (Parent (Parent (x_id)), NodeColor.red); // x.parent.parent.color = Color.red; 732SetColor (Parent (x_id), NodeColor.black); // x.parent.color = Color.black; 733SetColor (Parent (Parent (x_id)), NodeColor.red); // x.parent.parent.color = Color.red; 742SetColor (Parent (x_id), NodeColor.black); 743SetColor (y_id, NodeColor.black); 744SetColor (Parent (Parent (x_id)), NodeColor.red); // x.parent.parent.color = Color.red; 755SetColor (Parent (x_id), NodeColor.black); // x.parent.color = Color.black; 756SetColor (Parent (Parent (x_id)), NodeColor.red); // x.parent.parent.color = Color.red; 763SetColor (root, NodeColor.black); 765SetColor (root_id, NodeColor.black); 948SetColor(satelliteRootId, color(mNode)); // Next of satelliteRootId is already NIL 995SetColor (y_id, color (z_id)); 1070SetColor (w_id, NodeColor.black); 1071SetColor (px_id, NodeColor.red); 1078SetColor (w_id, NodeColor.red); 1086SetColor (Left (w_id), NodeColor.black); 1087SetColor (w_id, NodeColor.red); 1092SetColor (w_id, color (px_id)); 1093SetColor (px_id, NodeColor.black); 1094SetColor (Right (w_id), NodeColor.black); 1106SetColor (w_id, NodeColor.black); 1108SetColor (px_id, NodeColor.red); 1115SetColor (px_id, NodeColor.red); 1126SetColor (w_id, NodeColor.red); 1133SetColor (Right (w_id), NodeColor.black); 1134SetColor (w_id, NodeColor.red); 1141SetColor (w_id, color (px_id)); 1142SetColor (px_id, NodeColor.black); 1143SetColor (Left (w_id), NodeColor.black); 1151SetColor (w_id, color (px_id)); 1152SetColor (px_id, NodeColor.black); 1153SetColor (Left (w_id), NodeColor.black); 1163SetColor (x_id, NodeColor.black);