Function omnitigs::restricted_reachability::compute_hydrostructure_backward_reachability

pub fn compute_hydrostructure_backward_reachability<SubgraphType: SubgraphBase + MutableSubgraph + ImmutableGraphContainer>(
    graph: &SubgraphType::RootGraph,
    azb: &[<SubgraphType as GraphBase>::EdgeIndex],
    target_subgraph: &mut SubgraphType
) -> boolwhere
    SubgraphType::RootGraph: ImmutableGraphContainer + NavigableGraph,

Returns either the set of nodes and edges backwards reachable from the last edge of aZb without using aZb as a subwalk, or None, if the whole graph can be reached this way.

This computes R⁻(aZb) as defined in the hydrostructure paper. If true is returned, aZb is bridge-like, and otherwise it is avertible.