public static SparseIntSet singleton(int i) { if (i >= 0 && i < SINGLETON_CACHE_SIZE) { return singletonCache[i]; } else { return new SparseIntSet(new int[] { i }); } }
/** */ public SparseIntSet makeSparseCopy() { return (S == null) ? new SparseIntSet() : new SparseIntSet(S); }
@Override public SparseIntSet getTargets(int d1) { // kill even the reachability predicate 0. return new SparseIntSet(); } @Override
/** */ public SparseIntSet makeSparseCopy() { return (S == null) ? new SparseIntSet() : new SparseIntSet(S); }
public static SparseIntSet singleton(int i) { if (i >= 0 && i < SINGLETON_CACHE_SIZE) { return singletonCache[i]; } else { return new SparseIntSet(new int[] { i }); } }
public static SparseIntSet singleton(int i) { if (i >= 0 && i < SINGLETON_CACHE_SIZE) { return singletonCache[i]; } else { return new SparseIntSet(new int[] { i }); } }
public static SparseIntSet pair(int i, int j) { if (i == j) { return SparseIntSet.singleton(i); } if (j > i) { return new SparseIntSet(new int[] { i, j }); } else { return new SparseIntSet(new int[] { j, i }); } }
public static SparseIntSet pair(int i, int j) { if (i == j) { return SparseIntSet.singleton(i); } if (j > i) { return new SparseIntSet(new int[] { i, j }); } else { return new SparseIntSet(new int[] { j, i }); } }
@Override public IntSet getSuccNodeNumbers(T node) { if (node == null) { throw new IllegalArgumentException("node cannot be null"); } INodeWithNumberedEdges en = node; IntSet succ = en.getSuccNumbers(); return (succ == null) ? new SparseIntSet() : succ; }
@Override public IntSet getSuccNodeNumbers(T node) { if (node == null) { throw new IllegalArgumentException("node cannot be null"); } INodeWithNumberedEdges en = node; IntSet succ = en.getSuccNumbers(); return (succ == null) ? new SparseIntSet() : succ; }
@Override public IntSet getPredNodeNumbers(T node) { if (node == null) { throw new IllegalArgumentException("N cannot be null"); } INodeWithNumberedEdges en = node; IntSet pred = en.getPredNumbers(); return (pred == null) ? new SparseIntSet() : pred; }
/** * Compute the asymmetric difference of two sets, a \ b. */ public static SparseIntSet diff(SparseIntSet A, SparseIntSet B) { return new SparseIntSet(diffInternal(A, B)); }
@Override public IntSet getPredNodeNumbers(T node) { if (node == null) { throw new IllegalArgumentException("N cannot be null"); } INodeWithNumberedEdges en = node; IntSet pred = en.getPredNumbers(); return (pred == null) ? new SparseIntSet() : pred; }
/** * Compute the asymmetric difference of two sets, a \ b. */ public static SparseIntSet diff(SparseIntSet A, SparseIntSet B) { return new SparseIntSet(diffInternal(A, B)); }
@Override public IntSet getPredNodeNumbers(T node) { if (node == null) { throw new IllegalArgumentException("N cannot be null"); } INodeWithNumberedEdges en = node; IntSet pred = en.getPredNumbers(); return (pred == null) ? new SparseIntSet() : pred; }
/** * Compute the asymmetric difference of two sets, a \ b. */ public static SparseIntSet diff(SparseIntSet A, SparseIntSet B) { return new SparseIntSet(diffInternal(A, B)); }
@Override public IntSet getSuccNodeNumbers(T node) { if (node == null) { throw new IllegalArgumentException("node cannot be null"); } INodeWithNumberedEdges en = node; IntSet succ = en.getSuccNumbers(); return (succ == null) ? new SparseIntSet() : succ; }
public SparseIntSet makeSparseCopy() { populationCount = (populationCount == UNDEFINED) ? bitVector.populationCount() : populationCount; int[] elements = new int[populationCount]; int i = 0; int nextBit = -1; while (i < populationCount) elements[i++] = nextBit = bitVector.nextSetBit(nextBit + 1); return new SparseIntSet(elements); }
public SparseIntSet makeSparseCopy() { populationCount = (populationCount == UNDEFINED) ? bitVector.populationCount() : populationCount; int[] elements = new int[populationCount]; int i = 0; int nextBit = -1; while (i < populationCount) elements[i++] = nextBit = bitVector.nextSetBit(nextBit + 1); return new SparseIntSet(elements); }
private static class BlockPair<E extends ISSABasicBlock> extends Pair<BasicBlockInContext<E>, BasicBlockInContext<E>> { private static final long serialVersionUID = 6838579950051954781L; protected BlockPair(BasicBlockInContext<E> fst, BasicBlockInContext<E> snd) { super(fst, snd); } }