src\Framework\MS\Internal\Data\RBTree.cs (8)
319Trade(greenL, red, left);
348Trade(right, blue, greenR);
359Trade(low, greenL, red); red += low-greenL;
360Trade(blue, greenR, high); blue += high-greenR;
369Trade(low, greenL, red); red += low-greenL+1; Exchange(red-1, left+1);
371Trade(blue, greenR, high); blue += high-greenR-1; Exchange(left, blue);
377Trade(greenL, red, left); greenL += left-red; red = ++left;
378Trade(right, blue, greenR); greenR -= blue-right; blue = --right;