RBE_COLOR
RBE_COLOR(parent) == RB_RED) {
if (tmp != NULL && RBE_COLOR(tmp) == RB_RED) {
RBE_COLOR(tmp) = RB_BLACK;
if (tmp != NULL && RBE_COLOR(tmp) == RB_RED) {
RBE_COLOR(tmp) = RB_BLACK;
RBE_COLOR(RBH_ROOT(rbt)) = RB_BLACK;
while ((rbe == NULL || RBE_COLOR(rbe) == RB_BLACK) &&
if (RBE_COLOR(tmp) == RB_RED) {
RBE_COLOR(RBE_LEFT(tmp)) == RB_BLACK) &&
RBE_COLOR(RBE_RIGHT(tmp)) == RB_BLACK)) {
RBE_COLOR(tmp) = RB_RED;
RBE_COLOR(RBE_RIGHT(tmp)) == RB_BLACK) {
RBE_COLOR(oleft) = RB_BLACK;
RBE_COLOR(tmp) = RB_RED;
RBE_COLOR(tmp) = RBE_COLOR(parent);
RBE_COLOR(parent) = RB_BLACK;
RBE_COLOR(RBE_RIGHT(tmp)) = RB_BLACK;
if (RBE_COLOR(tmp) == RB_RED) {
RBE_COLOR(RBE_LEFT(tmp)) == RB_BLACK) &&
RBE_COLOR(RBE_RIGHT(tmp)) == RB_BLACK)) {
RBE_COLOR(tmp) = RB_RED;
RBE_COLOR(RBE_LEFT(tmp)) == RB_BLACK) {
RBE_COLOR(oright) = RB_BLACK;
RBE_COLOR(tmp) = RB_RED;
RBE_COLOR(tmp) = RBE_COLOR(parent);
RBE_COLOR(parent) = RB_BLACK;
RBE_COLOR(RBE_LEFT(tmp)) = RB_BLACK;
RBE_COLOR(rbe) = RB_BLACK;
color = RBE_COLOR(rbe);
color = RBE_COLOR(rbe);
RBE_COLOR(rbe) = RB_RED;
RBE_COLOR(black) = RB_BLACK;
RBE_COLOR(red) = RB_RED;