MS\Internal\Data\RBTree.cs (8)
313Trade(greenL, red, left);
342Trade(right, blue, greenR);
353Trade(low, greenL, red); red += low - greenL;
354Trade(blue, greenR, high); blue += high - greenR;
363Trade(low, greenL, red); red += low - greenL + 1; Exchange(red - 1, left + 1);
365Trade(blue, greenR, high); blue += high - greenR - 1; Exchange(left, blue);
371Trade(greenL, red, left); greenL += left - red; red = ++left;
372Trade(right, blue, greenR); greenR -= blue - right; blue = --right;