(int k)
| 124 | } |
| 125 | |
| 126 | private void sink(int k) { |
| 127 | while (2 * k <= n) { |
| 128 | int j = 2 * k; |
| 129 | if (j < n && less(j, j + 1)) j++; |
| 130 | if (!less(k, j)) break; |
| 131 | exch(k, j); |
| 132 | k = j; |
| 133 | } |
| 134 | } |
| 135 | |
| 136 | /*************************************************************************** |
| 137 | * Helper functions for compares and swaps. |