MS\Internal\Data\RBTree.cs (8)
309Trade(greenL, red, left);
338Trade(right, blue, greenR);
349Trade(low, greenL, red); red += low - greenL;
350Trade(blue, greenR, high); blue += high - greenR;
359Trade(low, greenL, red); red += low - greenL + 1; Exchange(red - 1, left + 1);
361Trade(blue, greenR, high); blue += high - greenR - 1; Exchange(left, blue);
367Trade(greenL, red, left); greenL += left - red; red = ++left;
368Trade(right, blue, greenR); greenR -= blue - right; blue = --right;