paralegal_spdg::traverse

Function generic_flows_to

Source 
pub fn generic_flows_to(
    from: impl IntoIterator<Item = Node>,
    edge_selection: EdgeSelection,
    spdg: &SPDG,
    other: impl IntoIterator<Item = Node>,
) -> Option<Node>
Expand description

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