Searched refs:existingMinusNewElements (Results 1 – 2 of 2) sorted by relevance
343 IntSet existingMinusNewElements = s_i.subtract(t); in addReachableLabel() local345 if ( !existingMinusNewElements.isNil() ) { in addReachableLabel()348 Label newLabel = new Label(existingMinusNewElements); in addReachableLabel()
1276 IntSet existingMinusNewElements = s_i.subtract(t); in makeEdgeSetsDisjoint() local1278 if ( !existingMinusNewElements.isNil() ) { in makeEdgeSetsDisjoint()1281 disjointSets.add(existingMinusNewElements); in makeEdgeSetsDisjoint()