131_pageTable[0]!._slots[0]._nodeColor = NodeColor.black; 648SetColor(z_id, NodeColor.black); 752SetColor(Parent(x_id), NodeColor.black); // x.parent.color = Color.black; 753SetColor(y_id, NodeColor.black); 765SetColor(Parent(x_id), NodeColor.black); // x.parent.color = Color.black; 775SetColor(Parent(x_id), NodeColor.black); 776SetColor(y_id, NodeColor.black); 788SetColor(Parent(x_id), NodeColor.black); // x.parent.color = Color.black; 796SetColor(root, NodeColor.black); 798SetColor(root_id, NodeColor.black); 969if (color(y_id) == NodeColor.black) 1104while (((root_id == NIL ? root : root_id) != x_id) && color(x_id) == NodeColor.black) 1121SetColor(w_id, NodeColor.black); 1127if (color(Left(w_id)) == NodeColor.black && color(Right(w_id)) == NodeColor.black) 1135if (color(Right(w_id)) == NodeColor.black) 1137SetColor(Left(w_id), NodeColor.black); 1144SetColor(px_id, NodeColor.black); 1145SetColor(Right(w_id), NodeColor.black); 1157SetColor(w_id, NodeColor.black); 1179if (color(Right(w_id)) == NodeColor.black && color(Left(w_id)) == NodeColor.black) 1187if (color(Left(w_id)) == NodeColor.black) 1189SetColor(Right(w_id), NodeColor.black); 1196SetColor(px_id, NodeColor.black); 1197SetColor(Left(w_id), NodeColor.black); 1206SetColor(x_id, NodeColor.black);