Module paralegal_spdg::traverse

source ·
Expand description

Utilities for traversing an SPDG

Enums

  • EdgeSelection
    Which type of edges should be considered for a given traversal

Functions

  • generic_flows_to
    A primitive that queries whether we can reach from one set of nodes to another