Trait Run 

pub trait Run<TM: TuringMachine> {
    type FinalTape: TapeT;
    type Steps: Nat;
}

Run a Turing machine until it halts.

Required Associated Types

type FinalTape: TapeT

type Steps: Nat

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<TM: TuringMachine, Left: BoolList, Head: Bool, Right: BoolList, State: NonHaltState> Run<TM> for NonHaltConfiguration<Left, Head, Right, State>

where Self: Step<TM>, <Self as Step<TM>>::Next: Run<TM>,

type FinalTape = <<NonHaltConfiguration<Left, Head, Right, State> as Step<TM>>::Next as Run<TM>>::FinalTape

type Steps = Succ<<<NonHaltConfiguration<Left, Head, Right, State> as Step<TM>>::Next as Run<TM>>::Steps>

impl<TM: TuringMachine, Left: BoolList, Head: Bool, Right: BoolList> Run<TM> for HaltConfiguration<Left, Head, Right>

type FinalTape = <HaltConfiguration<Left, Head, Right> as Configuration>::Tape

type Steps = Zero