add_high

    add_high          49 modules/up/src/gnug++/unsigned.OXPSet.cc     return p.index_to_Pix(p.add_high(item));
    add_high          67 modules/up/src/gnug++/unsigned.OXPSet.cc     return p.index_to_Pix(p.add_high(item));
    add_high          74 modules/up/src/gnug++/unsigned.OXPSet.cc       h = p.add_high(p.high_element());
    add_high         169 modules/up/src/gnug++/unsigned.OXPSet.cc         while (j < b.p.fence()) p.add_high(b.p[j++]);
    add_high         176 modules/up/src/gnug++/unsigned.OXPSet.cc           p.add_high(p.low_element());
    add_high         186 modules/up/src/gnug++/unsigned.OXPSet.cc         p.add_high(p.low_element());
    add_high         190 modules/up/src/gnug++/unsigned.OXPSet.cc         p.add_high(b.p[j++]);
    add_high         139 modules/up/src/gnug++/unsigned.Plex.cc   for (int i = a.low(); i < a.fence(); a.next(i)) add_high(a[i]);
    add_high         137 modules/up/src/rpsl/gnu/PrefixRange.Plex.cc   for (int i = a.low(); i < a.fence(); a.next(i)) add_high(a[i]);
    add_high        1266 modules/up/src/rpsl/rpsl/rpsl.y    ((FilterPRFXList *) ($$ = new FilterPRFXList))->add_high(*$1);
    add_high        1271 modules/up/src/rpsl/rpsl/rpsl.y    ((FilterPRFXList *) ($$))->add_high(*$3);
    add_high        3165 modules/up/src/rpsl/rpsl/rpsl.y.cc    ((FilterPRFXList *) (yyval.filter = new FilterPRFXList))->add_high(*yyvsp[0].prfxrng);
    add_high        3173 modules/up/src/rpsl/rpsl/rpsl.y.cc    ((FilterPRFXList *) (yyval.filter))->add_high(*yyvsp[0].prfxrng);