Function alive_graph_reaches

atomic-core/src/output/alive/retrieve/mod.rs:618–643

(graph: &AliveGraph, from: VertexId, target: VertexId)

}

fn alive_graph_reaches(graph: &AliveGraph, from: VertexId, target: VertexId) -> bool {
    if from == target {
        return true;
    }

    let mut stack = vec![from];
    let mut seen = std::collections::HashSet::new();

    while let Some(current) = stack.pop() {
        if !seen.insert(current) {
            continue;
        }

        for (_, child) in graph.children(current) {
            if child.is_dummy() {
                continue;
            }
            if *child == target {
                return true;
            }
            stack.push(*child);
        }
    }

    false
}