finite_automata

Function states_contains_closure_from

Source 
pub fn states_contains_closure_from<'a, S: Clone + Ord>(
    container: &impl StatesContains<BTreeSet<S>>,
    from: &impl StatesSlice<S>,
    state_indices: impl IntoIterator<Item = StateIndex> + 'a,
) -> Option<StateIndex>
Expand description

Convert state indices from from into a set of states and returns the state index in the container, if the set of states exist.