Searched refs:existingMinusNewElements (Results 1 – 2 of 2) sorted by relevance
346 IntSet existingMinusNewElements = s_i.subtract(t); in addReachableLabel() local348 if ( !existingMinusNewElements.isNil() ) { in addReachableLabel()351 Label newLabel = new Label(existingMinusNewElements); in addReachableLabel()
1317 IntervalSet existingMinusNewElements = s_i.subtract(t); in makeEdgeSetsDisjoint() local1319 if ( !existingMinusNewElements.isNil() ) { in makeEdgeSetsDisjoint()1322 disjointSets.add(existingMinusNewElements); in makeEdgeSetsDisjoint()