Method computeRedLevel

src/main/java/gate/util/RBTreeMap.java:1710–1715

Find the level down to which to assign all nodes BLACK. This is the last `full' level of the complete binary tree produced by buildTree. The remaining nodes are colored RED. (This makes a `nice' set of color assignments wrt future insertions.) This level number is computed by finding the number of

(int sz)

    * quick O(lg(N)) loop.)
    */
  private static int computeRedLevel(int sz) {
    int level = 0;
    for (int m = sz - 1; m >= 0; m = m / 2 - 1)
        level++;
    return level;
  }

} // class RBTreeMap