Function paralegal_spdg::traverse::generic_flows_to

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

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