Lines Matching refs:remove
90 public void remove(int index) {
91 trees.remove(index);
192 // remove entry n. If any subsequent entries narrow entry n, remove
211 /* remove narrower name (subsequent) */
212 remove(j);
217 /* remove narrower name current */
228 remove(i);
343 // remove it, and whether we add anything to newExcluded or newThis.
355 // thisEntry, remove thisEntry and add widest other to newThis.
366 remove(i);
427 remove(i);
508 remove(j);
513 remove(j);