DFSInfo wInfo = info[w.getIndex()]; BitSet preds = getPreds(w); for (int j = preds.nextSetBit(0); j >= 0;
DFSInfo wInfo = info[w.getIndex()]; BitSet preds = getPreds(w); for (int j = preds.nextSetBit(0); j >= 0;
DFSInfo wInfo = info[w.getIndex()]; BitSet preds = getPreds(w); for (int j = preds.nextSetBit(0); j >= 0;
DFSInfo wInfo = info[w.getIndex()]; BitSet preds = getPreds(w); for (int j = preds.nextSetBit(0); j >= 0;
DFSInfo wInfo = info[w.getIndex()]; BitSet preds = getPreds(w); for (int j = preds.nextSetBit(0); j >= 0;
DFSInfo wInfo = info[w.getIndex()]; BitSet preds = getPreds(w); for (int j = preds.nextSetBit(0); j >= 0;
DFSInfo wInfo = info[w.getIndex()]; BitSet preds = getPreds(w); for (int j = preds.nextSetBit(0); j >= 0;
DFSInfo wInfo = info[w.getIndex()]; BitSet preds = getPreds(w); for (int j = preds.nextSetBit(0); j >= 0;