Trait AsMachine

pub trait AsMachine {
    type State;

    // Required method
    fn as_machine(&self) -> &Machine<Self::State>;
}

Required Associated Types

type State

Required Methods

fn as_machine(&self) -> &Machine<Self::State>

Implementors

impl<'etable, ES: EtableSet> AsMachine for EtableInterpreter<'etable, ES>

type State = <ES as EtableSet>::State