// 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);
}
}
// 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);
}
}
