// Caller must trim after; but note of trim needed is recorded in the vector public void remove(DMIElem e) { int i = itsConceptSet.indexOf(e); if (i >= 0) { itsGraph.itsCacheBuilder.Remove(e); itsConceptSet.clear(i); } }