MS\Internal\Data\RBTree.cs (8)
308Trade(greenL, red, left);
337Trade(right, blue, greenR);
348Trade(low, greenL, red); red += low - greenL;
349Trade(blue, greenR, high); blue += high - greenR;
358Trade(low, greenL, red); red += low - greenL + 1; Exchange(red - 1, left + 1);
360Trade(blue, greenR, high); blue += high - greenR - 1; Exchange(left, blue);
366Trade(greenL, red, left); greenL += left - red; red = ++left;
367Trade(right, blue, greenR); greenR -= blue - right; blue = --right;