private boolean prune(BranchPoint restoreTarget, Map<Concept, TracedConcept> map) {
boolean hasChanged = false;
for (Iterator<TracedConcept> it = map.values().iterator(); it.hasNext(); ) {
TracedConcept tc = it.next();
if (tc.getDependency().hasSameOrAfter(restoreTarget)) {
it.remove();
hasChanged = true;
}
}
return hasChanged;
}
public void reopen(TracedConcept tc) {
m_Expanded.remove(tc.getConcept());
m_Open.put(tc.getConcept(), tc);
}
public boolean add(TracedConcept tc) {
Concept c = tc.getConcept();
if (m_Expanded.containsKey(c)) return false;
return m_Open.put(c, tc) == null;
}
