Module omnitigs::restricted_reachability

Algorithms related to restricted reachability queries, like our basic: given an edge e, return everything reachable from the tail of e without using e.

Functions

compute_hydrostructure_backward_reachability

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.

compute_hydrostructure_forward_reachability

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.

compute_incremental_restricted_backward_edge_reachability

Returns the backwards reachable subgraph from a node without using an edge incrementally.

compute_incremental_restricted_forward_edge_reachability

Returns the reachable subgraph from a node without using an edge incrementally.

compute_inverse_restricted_backward_reachability

Returns the backwards reachable subgraph from edge without using the head of edge.

compute_inverse_restricted_forward_reachability

Returns the forwards reachable subgraph from edge without using the tail of edge.

compute_restricted_backward_reachability

Returns the backwards reachable subgraph from the head of edge without using edge.

compute_restricted_edge_reachability

Returns the reachable subgraph from a node without using an edge.

compute_restricted_forward_reachability

Returns the forwards reachable subgraph from the tail of edge without using edge.

compute_restricted_node_reachability

Returns the reachable subgraph from a node without using a node.