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.