Trait contained_turing::Translate

pub trait Translate<S: Symbolic> {
    type Error;

    // Required method
    fn translate(&mut self, tape: Tape<S>) -> Result<Tape<S>, Self::Error>;
}

Translate is a trait that allows for the translation of a machine’s memory

Required Associated Types

type Error

Required Methods

fn translate(&mut self, tape: Tape<S>) -> Result<Tape<S>, Self::Error>

Implementors

impl<S: Symbolic> Translate<S> for Machine<S>

type Error = Error