/** * fix up. */ private void swim(int k) { while (k > 1 && less(k, (k + d - 2) / d)) { swap(k, (k + d - 2) / d); k = (k + d - 2) / d; } }
/** * fix up. */ private void swim(int k) { while (k > 1 && less(k, (k + d - 2) / d)) { swap(k, (k + d - 2) / d); k = (k + d - 2) / d; } }