void dfs()

in src/sizes/dominator_tree.cpp [33:45]


    void dfs(jlong v, jlong &n, const graph_t &graph, jlongs &semi,
             jlongs &parent, jlongs &vertex, graph_t &pred) {
        semi[v] = n;
        vertex[n] = v;
        n++;
        for (jlong w : graph[v]) {
            if (w != 0 && semi[w] == 0) {
                parent[w] = v;
                dfs(w, n, graph, semi, parent, vertex, pred);
            }
            pred[w].push_back(v);
        }
    }