high

    high              29 modules/up/src/gnug++/unsigned.OXPSet.cc   int h = p.high();
    high              52 modules/up/src/gnug++/unsigned.OXPSet.cc   int h = p.high();
    high              91 modules/up/src/gnug++/unsigned.OXPSet.cc   int h = p.high();
    high              99 modules/up/src/gnug++/unsigned.OXPSet.cc       if (p.high() - mid < mid - p.low())
    high             101 modules/up/src/gnug++/unsigned.OXPSet.cc         for (int i = mid; i < p.high(); ++i) p[i] = p[i+1];
    high             278 modules/up/src/gnug++/unsigned.OXPSet.cc   for (int i = p.low(); i < p.high(); ++i) v &= unsignedCMP(p[i], p[i+1]) < 0;
    high             144 modules/up/src/gnug++/unsigned.Plex.cc   for (int i = a.high(); i > a.ecnef(); a.prev(i)) add_low(a[i]);
    high             151 modules/up/src/gnug++/unsigned.Plex.cc   int h = high();
    high             142 modules/up/src/rpsl/gnu/PrefixRange.Plex.cc   for (int i = a.high(); i > a.ecnef(); a.prev(i)) add_low(a[i]);
    high             149 modules/up/src/rpsl/gnu/PrefixRange.Plex.cc   int h = high();