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        1240 modules/up/src/rpsl/rpsl/rpsl.y    ((FilterPRFXList *) ($$ = new FilterPRFXList))->add_high(*$1);
add_high        1245 modules/up/src/rpsl/rpsl/rpsl.y    ((FilterPRFXList *) ($$))->add_high(*$3);
add_high        3071 modules/up/src/rpsl/rpsl/rpsl.y.cc    ((FilterPRFXList *) (yyval.filter = new FilterPRFXList))->add_high(*yyvsp[0].prfxrng);
add_high        3079 modules/up/src/rpsl/rpsl/rpsl.y.cc    ((FilterPRFXList *) (yyval.filter))->add_high(*yyvsp[0].prfxrng);