Trait contained_turing::Execute

source ·

pub trait Execute<S: Symbolic>: Alphabet<S> + Iterator<Item = Instruction<S>> + Stateful<State> {
    type Driver: Scope<S>;

    // Required methods
    fn program(&self) -> &Program<S>;
    fn scope(&self) -> &Self::Driver;
    fn scope_mut(&mut self) -> &mut Self::Driver;

    // Provided methods
    fn execute(&mut self) -> Result<&Self::Driver, Error> { ... }
    fn execute_once(&mut self) -> Result<&Self::Driver, Error> { ... }
    fn execute_until(
        &mut self,
        until: impl Predicate<Self::Driver>
    ) -> Result<&Self::Driver, Error> { ... }
}