Trait tree_automata::bottom_up::width_search::LanguageState

pub trait LanguageState<F: Symbol, E: ?Sized>: State + Sized {
    fn configurations<'a>(
        &self, 
        env: &'a E
    ) -> Box<dyn Iterator<Item = Configuration<F, Self>> + 'a>;
}

Required methods

fn configurations<'a>(
    &self,
    env: &'a E
) -> Box<dyn Iterator<Item = Configuration<F, Self>> + 'a>

Loading content...

Implementors

impl<'e, F: Symbol, Q: State> LanguageState<F, [&'e Automaton<F, Q, NoLabel>]> for Indexed<Q>

fn configurations<'a>(
    &self,
    automata: &'a [&'e Automaton<F, Q, NoLabel>]
) -> Box<dyn Iterator<Item = Configuration<F, Self>> + 'a>

impl<F: Symbol, Q: State> LanguageState<F, Automaton<F, Q, NoLabel>> for Q

fn configurations<'a>(
    &self,
    aut: &'a Automaton<F, Q, NoLabel>
) -> Box<dyn Iterator<Item = Configuration<F, Self>> + 'a>

Loading content...