public void remove(int i) { if (V != null) { V.remove(i); } }
public void remove(int i) { if (V != null) { V.remove(i); } }
public void remove(int i) { if (V != null) { V.remove(i); } }
@Override public boolean remove(int i) { boolean result = impl.remove(i); maybeChangeRepresentation(); return result; }
@Override public void act(int x) { currentGraph.getNode(x).preds.remove(nodeNumber); } });
@Override public boolean remove(int i) { boolean result = impl.remove(i); maybeChangeRepresentation(); return result; }
@Override public void act(int x) { currentGraph.getNode(x).succs.remove(nodeNumber); } });
@Override public boolean remove(int i) { boolean result = impl.remove(i); maybeChangeRepresentation(); return result; }
private static IntSet defaultSlowDiff(IntSet A, IntSet B, MutableIntSetFactory<?> factory) { // TODO: this is slow ... optimize please. MutableIntSet result = factory.makeCopy(A); if (DEBUG) { System.err.println(("initial result " + result + ' ' + result.getClass())); } for (IntIterator it = B.intIterator(); it.hasNext();) { int I = it.next(); result.remove(I); if (DEBUG) { System.err.println(("removed " + I + " now is " + result)); } } if (DEBUG) { System.err.println(("return " + result)); } return result; }
private static IntSet defaultSlowDiff(IntSet A, IntSet B, MutableIntSetFactory<?> factory) { // TODO: this is slow ... optimize please. MutableIntSet result = factory.makeCopy(A); if (DEBUG) { System.err.println(("initial result " + result + ' ' + result.getClass())); } for (IntIterator it = B.intIterator(); it.hasNext();) { int I = it.next(); result.remove(I); if (DEBUG) { System.err.println(("removed " + I + " now is " + result)); } } if (DEBUG) { System.err.println(("return " + result)); } return result; }
private static IntSet defaultSlowDiff(IntSet A, IntSet B, MutableIntSetFactory<?> factory) { // TODO: this is slow ... optimize please. MutableIntSet result = factory.makeCopy(A); if (DEBUG) { System.err.println(("initial result " + result + ' ' + result.getClass())); } for (IntIterator it = B.intIterator(); it.hasNext();) { int I = it.next(); result.remove(I); if (DEBUG) { System.err.println(("removed " + I + " now is " + result)); } } if (DEBUG) { System.err.println(("return " + result)); } return result; }
@Override public boolean addInverseFiltered(PropagationSystem system, PointsToSetVariable L, PointsToSetVariable R) { int idx = system.findOrCreateIndexForInstanceKey(concreteType); if (!R.contains(idx) || L.contains(idx)) { return L.addAll(R); } else { MutableIntSet copy = IntSetUtil.makeMutableCopy(R.getValue()); copy.remove(idx); return L.addAll(copy); } }
@Override public boolean addInverseFiltered(PropagationSystem system, PointsToSetVariable L, PointsToSetVariable R) { int idx = system.findOrCreateIndexForInstanceKey(concreteType); if (!R.contains(idx) || L.contains(idx)) { return L.addAll(R); } else { MutableIntSet copy = IntSetUtil.makeMutableCopy(R.getValue()); copy.remove(idx); return L.addAll(copy); } }
public void removeTarget(CGNode target) { allTargets.remove(getCallGraph().getNumber(target)); for (IntIterator it = targets.safeIterateIndices(); it.hasNext();) { int pc = it.next(); Object value = targets.get(pc); if (value instanceof CGNode) { if (value.equals(target)) { targets.remove(pc); } } else { MutableIntSet s = (MutableIntSet) value; int n = getCallGraph().getNumber(target); if (s.size() > 2) { s.remove(n); } else { assert s.size() == 2; if (s.contains(n)) { s.remove(n); int i = s.intIterator().next(); targets.set(pc, getCallGraph().getNode(i)); } } } } }