LanguageState

Trait LanguageState 

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

Required Methods§

Source

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

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§

Source§

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

Source§

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