private void markExistingDirectionalLabels(Graph g, int prev, BitSet visited, Map<Edge, Edge> replacement, BitSet dbAtoms, int u) { visited.set(u); final int d = g.degree(u); for (int j = 0; j < d; ++j) { final Edge e = g.edgeAt(u, j); int v = e.other(u); if (v == prev) continue; Edge f = replacement.get(e); if (f == null) { replacement.put(e, e); if (!visited.get(v)) { if (dbAtoms.get(v)) markExistingDirectionalLabels(g, u, visited, replacement, dbAtoms, v); } } } } }
u); else markExistingDirectionalLabels(g, u, new BitSet(), u); else markExistingDirectionalLabels(g, u, new BitSet(),