Function omnitigs::restricted_reachability::compute_hydrostructure_forward_reachability [−][src]
pub fn compute_hydrostructure_forward_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 reachable from the first 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.