15.4.4 Symmetric Case [ToC] [Index]     [Skip Back]     [Prev] [Up] [Next]

580. <Right-side rebalancing after PRB deletion 580> =
struct prb_node *w = f->prb_link[0];

if (w->prb_color == PRB_RED)
  { 
    <Ensure w is black in right-side PRB deletion rebalancing 581>
  } if ((w->prb_link[0] == NULL
     || w->prb_link[0]->prb_color == PRB_BLACK) && (w->prb_link[1] == NULL
        || w->prb_link[1]->prb_color == PRB_BLACK)) {
    <Case 1 in right-side PRB deletion rebalancing 582>
  } else
  { if (w->prb_link[0] == NULL
        || w->prb_link[0]->prb_color == PRB_BLACK) {
        <Transform right-side PRB deletion rebalancing case 3 into case 2 584>
      } <Case 2 in right-side PRB deletion rebalancing 583> break; }

This code is included in 573.

581. <Ensure w is black in right-side PRB deletion rebalancing 581> =
w->prb_color = PRB_BLACK;
f->prb_color = PRB_RED;

f->prb_link[0] = w->prb_link[1];
w->prb_link[1] = f;
g->prb_link[g->prb_link[0] != f] = w;

w->prb_parent = f->prb_parent;
f->prb_parent = w;

g = w;
w = f->prb_link[0];

w->prb_parent = f;

This code is included in 580.

582. <Case 1 in right-side PRB deletion rebalancing 582> =
w->prb_color = PRB_RED;

This code is included in 580.

583. <Case 2 in right-side PRB deletion rebalancing 583> =
w->prb_color = f->prb_color;
f->prb_color = PRB_BLACK;
w->prb_link[0]->prb_color = PRB_BLACK;

f->prb_link[0] = w->prb_link[1];
w->prb_link[1] = f;
g->prb_link[g->prb_link[0] != f] = w;

w->prb_parent = f->prb_parent;
f->prb_parent = w;
if (f->prb_link[0] != NULL)
  f->prb_link[0]->prb_parent = f;

This code is included in 580.

584. <Transform right-side PRB deletion rebalancing case 3 into case 2 584> =
struct prb_node *y = w->prb_link[1];
y->prb_color = PRB_BLACK;
w->prb_color = PRB_RED;
w->prb_link[1] = y->prb_link[0];
y->prb_link[0] = w;
if (w->prb_link[1] != NULL)
  w->prb_link[1]->prb_parent = w;
w = f->prb_link[0] = y;
w->prb_link[0]->prb_parent = w;

This code is included in 580.