Function omnitigs::restricted_reachability::compute_hydrostructure_backward_reachability [−][src]
pub fn compute_hydrostructure_backward_reachability<'a, Graph: StaticGraph, SubgraphType: DecoratingSubgraph<ParentGraph = Graph, ParentGraphRef = &'a Graph>>(
graph: SubgraphType::ParentGraphRef,
azb: &[<<SubgraphType as DecoratingSubgraph>::ParentGraph as GraphBase>::EdgeIndex]
) -> Option<SubgraphType>
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 Some
is returned, aZb
is bridge-like, and otherwise it is avertible.