pub struct EngineBase<D, Q, A>{ /* private fields */ }Expand description
The EngineBase implementation is designed as a type of runtime for executing various
Turing machine models, or drivers, according to a specified set of rules encapsulated
within a Program<Q, A>.
Implementations§
Source§impl<D, Q, A> EngineBase<D, Q, A>
impl<D, Q, A> EngineBase<D, Q, A>
Sourcepub fn from_program(program: Program<Q, A>) -> Selfwhere
D: Default,
pub fn from_program(program: Program<Q, A>) -> Selfwhere
D: Default,
initialize a new instance of the engine using the default driver and given program
Sourcepub fn from_driver_with_input<I>(driver: D, input: I) -> Selfwhere
I: IntoIterator<Item = A>,
pub fn from_driver_with_input<I>(driver: D, input: I) -> Selfwhere
I: IntoIterator<Item = A>,
initialize a new engine using the given driver and program
Sourcepub const fn from_driver(driver: D) -> Self
pub const fn from_driver(driver: D) -> Self
initialize a new instance of the engine from the given driver
Sourcepub fn load(self, program: Program<Q, A>) -> Self
pub fn load(self, program: Program<Q, A>) -> Self
load a new program into the engine and return a mutable reference to self
Sourcepub fn with_tape<I>(self, input: I) -> Selfwhere
I: IntoIterator<Item = A>,
pub fn with_tape<I>(self, input: I) -> Selfwhere
I: IntoIterator<Item = A>,
consumes the current instance to create another with the given tape input
Sourcepub fn set_program(&mut self, program: Program<Q, A>)
pub fn set_program(&mut self, program: Program<Q, A>)
update the current program for the engine
Sourcepub fn with_driver<D2>(self, driver: D2) -> EngineBase<D2, Q, A> ⓘwhere
D2: Driver<Q, A>,
pub fn with_driver<D2>(self, driver: D2) -> EngineBase<D2, Q, A> ⓘwhere
D2: Driver<Q, A>,
consumes the engine to create another with the given driver
Sourcepub fn with_program(self, program: Program<Q, A>) -> Self
pub fn with_program(self, program: Program<Q, A>) -> Self
consumes the current instance to create another with the given program
Sourcepub const fn cycles(&self) -> usize
pub const fn cycles(&self) -> usize
returns a copy of the total number of cycles, or steps, the engine has preformed
Sourcepub const fn driver_mut(&mut self) -> &mut D
pub const fn driver_mut(&mut self) -> &mut D
returns a mutable reference to the actor
Sourcepub const fn program_mut(&mut self) -> Option<&mut Program<Q, A>>
pub const fn program_mut(&mut self) -> Option<&mut Program<Q, A>>
returns a mutable reference to the program
Sourcepub fn current_position(&self) -> usize
pub fn current_position(&self) -> usize
returns the current position of the driver
Sourcepub fn current_state(&self) -> State<&Q>
pub fn current_state(&self) -> State<&Q>
returns a view of the current state of the driver
Sourcepub const fn has_program(&self) -> bool
pub const fn has_program(&self) -> bool
returns true if the engine has a program loaded
Sourcepub fn extend_tape<I>(&mut self, iter: I)where
I: IntoIterator<Item = A>,
pub fn extend_tape<I>(&mut self, iter: I)where
I: IntoIterator<Item = A>,
extend the output tape with values from the given iterator
Sourcepub fn find_tail<K>(&self, state: State<&Q>, symbol: &A) -> Option<&Tail<Q, A>>
pub fn find_tail<K>(&self, state: State<&Q>, symbol: &A) -> Option<&Tail<Q, A>>
returns the tail associated with the head that is equal to the given state and symbol
Sourcepub const fn next_cycle(&mut self)
pub const fn next_cycle(&mut self)
increments the current epoch by a single unit indicating the end of a cycle or step
Sourcepub fn reset(&mut self)
pub fn reset(&mut self)
reset the engine by clearing the output tape, cycles, and program from the current instance
Sourcepub fn is_halted(&self) -> boolwhere
Q: Halting,
pub fn is_halted(&self) -> boolwhere
Q: Halting,
returns true if the driver is in a halted state
Sourcepub fn run(&mut self) -> Result<()>
pub fn run(&mut self) -> Result<()>
runs the program until termination (i.e., a halt state is reached, an error occurs, etc.)
Sourcepub fn pretty_print(&self) -> Stringwhere
A: Debug,
pub fn pretty_print(&self) -> Stringwhere
A: Debug,
a string representation of the driver’s tape with the current head position highlighted
in brackets. 0, 1, 0, [1], 1, 0, 0 for a radius of 3.
Sourcepub fn print(&self) -> Stringwhere
A: Display,
pub fn print(&self) -> Stringwhere
A: Display,
returns a string representation of the tape with the current head position highlighted in brackets.
Sourcepub fn read(&self) -> Result<&A>
pub fn read(&self) -> Result<&A>
read the current symbol at the head of the tape into the internal buffer
Sourcepub fn read_head(&self) -> Result<Head<&Q, &A>>
pub fn read_head(&self) -> Result<Head<&Q, &A>>
read and return the current head of the machine
Sourcepub fn read_uninit(&self) -> Head<&Q, MaybeUninit<&A>>
pub fn read_uninit(&self) -> Head<&Q, MaybeUninit<&A>>
Reads the current symbol at the head of the tape
Source§impl<Q, A> EngineBase<Head<Q, usize>, Q, A>
impl<Q, A> EngineBase<Head<Q, usize>, Q, A>
Sourcepub fn tmh(program: Program<Q, A>) -> Self
pub fn tmh(program: Program<Q, A>) -> Self
initialize a new instance of a turing machine with a moving head using the given program.
Sourcepub fn from_state_with_input<I>(state: Q, input: I) -> Selfwhere
I: IntoIterator<Item = A>,
pub fn from_state_with_input<I>(state: Q, input: I) -> Selfwhere
I: IntoIterator<Item = A>,
initialize a new instance of the TMH engine from the given state and input
Trait Implementations§
Source§impl<D, Q, A> Executor<Q, A> for EngineBase<D, Q, A>
impl<D, Q, A> Executor<Q, A> for EngineBase<D, Q, A>
Source§impl<D, Q, A> Iterator for EngineBase<D, Q, A>
impl<D, Q, A> Iterator for EngineBase<D, Q, A>
Source§fn next(&mut self) -> Option<Self::Item>
fn next(&mut self) -> Option<Self::Item>
Source§fn next_chunk<const N: usize>(
&mut self,
) -> Result<[Self::Item; N], IntoIter<Self::Item, N>>where
Self: Sized,
fn next_chunk<const N: usize>(
&mut self,
) -> Result<[Self::Item; N], IntoIter<Self::Item, N>>where
Self: Sized,
iter_next_chunk)N values. Read more1.0.0 · Source§fn size_hint(&self) -> (usize, Option<usize>)
fn size_hint(&self) -> (usize, Option<usize>)
1.0.0 · Source§fn count(self) -> usizewhere
Self: Sized,
fn count(self) -> usizewhere
Self: Sized,
1.0.0 · Source§fn last(self) -> Option<Self::Item>where
Self: Sized,
fn last(self) -> Option<Self::Item>where
Self: Sized,
Source§fn advance_by(&mut self, n: usize) -> Result<(), NonZero<usize>>
fn advance_by(&mut self, n: usize) -> Result<(), NonZero<usize>>
iter_advance_by)n elements. Read more1.0.0 · Source§fn nth(&mut self, n: usize) -> Option<Self::Item>
fn nth(&mut self, n: usize) -> Option<Self::Item>
nth element of the iterator. Read more1.28.0 · Source§fn step_by(self, step: usize) -> StepBy<Self>where
Self: Sized,
fn step_by(self, step: usize) -> StepBy<Self>where
Self: Sized,
1.0.0 · Source§fn chain<U>(self, other: U) -> Chain<Self, <U as IntoIterator>::IntoIter>
fn chain<U>(self, other: U) -> Chain<Self, <U as IntoIterator>::IntoIter>
1.0.0 · Source§fn zip<U>(self, other: U) -> Zip<Self, <U as IntoIterator>::IntoIter>where
Self: Sized,
U: IntoIterator,
fn zip<U>(self, other: U) -> Zip<Self, <U as IntoIterator>::IntoIter>where
Self: Sized,
U: IntoIterator,
Source§fn intersperse(self, separator: Self::Item) -> Intersperse<Self>
fn intersperse(self, separator: Self::Item) -> Intersperse<Self>
iter_intersperse)separator between adjacent
items of the original iterator. Read moreSource§fn intersperse_with<G>(self, separator: G) -> IntersperseWith<Self, G>
fn intersperse_with<G>(self, separator: G) -> IntersperseWith<Self, G>
iter_intersperse)separator
between adjacent items of the original iterator. Read more1.0.0 · Source§fn map<B, F>(self, f: F) -> Map<Self, F>
fn map<B, F>(self, f: F) -> Map<Self, F>
1.0.0 · Source§fn filter<P>(self, predicate: P) -> Filter<Self, P>
fn filter<P>(self, predicate: P) -> Filter<Self, P>
1.0.0 · Source§fn filter_map<B, F>(self, f: F) -> FilterMap<Self, F>
fn filter_map<B, F>(self, f: F) -> FilterMap<Self, F>
1.0.0 · Source§fn enumerate(self) -> Enumerate<Self>where
Self: Sized,
fn enumerate(self) -> Enumerate<Self>where
Self: Sized,
1.0.0 · Source§fn skip_while<P>(self, predicate: P) -> SkipWhile<Self, P>
fn skip_while<P>(self, predicate: P) -> SkipWhile<Self, P>
1.0.0 · Source§fn take_while<P>(self, predicate: P) -> TakeWhile<Self, P>
fn take_while<P>(self, predicate: P) -> TakeWhile<Self, P>
1.57.0 · Source§fn map_while<B, P>(self, predicate: P) -> MapWhile<Self, P>
fn map_while<B, P>(self, predicate: P) -> MapWhile<Self, P>
1.0.0 · Source§fn skip(self, n: usize) -> Skip<Self>where
Self: Sized,
fn skip(self, n: usize) -> Skip<Self>where
Self: Sized,
n elements. Read more1.0.0 · Source§fn take(self, n: usize) -> Take<Self>where
Self: Sized,
fn take(self, n: usize) -> Take<Self>where
Self: Sized,
n elements, or fewer
if the underlying iterator ends sooner. Read more1.0.0 · Source§fn flat_map<U, F>(self, f: F) -> FlatMap<Self, U, F>
fn flat_map<U, F>(self, f: F) -> FlatMap<Self, U, F>
Source§fn map_windows<F, R, const N: usize>(self, f: F) -> MapWindows<Self, F, N>
fn map_windows<F, R, const N: usize>(self, f: F) -> MapWindows<Self, F, N>
iter_map_windows)f for each contiguous window of size N over
self and returns an iterator over the outputs of f. Like slice::windows(),
the windows during mapping overlap as well. Read more1.0.0 · Source§fn inspect<F>(self, f: F) -> Inspect<Self, F>
fn inspect<F>(self, f: F) -> Inspect<Self, F>
1.0.0 · Source§fn by_ref(&mut self) -> &mut Selfwhere
Self: Sized,
fn by_ref(&mut self) -> &mut Selfwhere
Self: Sized,
Iterator. Read moreSource§fn collect_into<E>(self, collection: &mut E) -> &mut E
fn collect_into<E>(self, collection: &mut E) -> &mut E
iter_collect_into)1.0.0 · Source§fn partition<B, F>(self, f: F) -> (B, B)
fn partition<B, F>(self, f: F) -> (B, B)
Source§fn is_partitioned<P>(self, predicate: P) -> bool
fn is_partitioned<P>(self, predicate: P) -> bool
iter_is_partitioned)true precede all those that return false. Read more1.27.0 · Source§fn try_fold<B, F, R>(&mut self, init: B, f: F) -> R
fn try_fold<B, F, R>(&mut self, init: B, f: F) -> R
1.27.0 · Source§fn try_for_each<F, R>(&mut self, f: F) -> R
fn try_for_each<F, R>(&mut self, f: F) -> R
1.0.0 · Source§fn fold<B, F>(self, init: B, f: F) -> B
fn fold<B, F>(self, init: B, f: F) -> B
1.51.0 · Source§fn reduce<F>(self, f: F) -> Option<Self::Item>
fn reduce<F>(self, f: F) -> Option<Self::Item>
Source§fn try_reduce<R>(
&mut self,
f: impl FnMut(Self::Item, Self::Item) -> R,
) -> <<R as Try>::Residual as Residual<Option<<R as Try>::Output>>>::TryType
fn try_reduce<R>( &mut self, f: impl FnMut(Self::Item, Self::Item) -> R, ) -> <<R as Try>::Residual as Residual<Option<<R as Try>::Output>>>::TryType
iterator_try_reduce)1.0.0 · Source§fn all<F>(&mut self, f: F) -> bool
fn all<F>(&mut self, f: F) -> bool
1.0.0 · Source§fn any<F>(&mut self, f: F) -> bool
fn any<F>(&mut self, f: F) -> bool
1.0.0 · Source§fn find<P>(&mut self, predicate: P) -> Option<Self::Item>
fn find<P>(&mut self, predicate: P) -> Option<Self::Item>
1.30.0 · Source§fn find_map<B, F>(&mut self, f: F) -> Option<B>
fn find_map<B, F>(&mut self, f: F) -> Option<B>
Source§fn try_find<R>(
&mut self,
f: impl FnMut(&Self::Item) -> R,
) -> <<R as Try>::Residual as Residual<Option<Self::Item>>>::TryType
fn try_find<R>( &mut self, f: impl FnMut(&Self::Item) -> R, ) -> <<R as Try>::Residual as Residual<Option<Self::Item>>>::TryType
try_find)1.0.0 · Source§fn position<P>(&mut self, predicate: P) -> Option<usize>
fn position<P>(&mut self, predicate: P) -> Option<usize>
1.0.0 · Source§fn max(self) -> Option<Self::Item>
fn max(self) -> Option<Self::Item>
1.0.0 · Source§fn min(self) -> Option<Self::Item>
fn min(self) -> Option<Self::Item>
1.6.0 · Source§fn max_by_key<B, F>(self, f: F) -> Option<Self::Item>
fn max_by_key<B, F>(self, f: F) -> Option<Self::Item>
1.15.0 · Source§fn max_by<F>(self, compare: F) -> Option<Self::Item>
fn max_by<F>(self, compare: F) -> Option<Self::Item>
1.6.0 · Source§fn min_by_key<B, F>(self, f: F) -> Option<Self::Item>
fn min_by_key<B, F>(self, f: F) -> Option<Self::Item>
1.15.0 · Source§fn min_by<F>(self, compare: F) -> Option<Self::Item>
fn min_by<F>(self, compare: F) -> Option<Self::Item>
1.0.0 · Source§fn unzip<A, B, FromA, FromB>(self) -> (FromA, FromB)
fn unzip<A, B, FromA, FromB>(self) -> (FromA, FromB)
1.36.0 · Source§fn copied<'a, T>(self) -> Copied<Self>
fn copied<'a, T>(self) -> Copied<Self>
Source§fn array_chunks<const N: usize>(self) -> ArrayChunks<Self, N>where
Self: Sized,
fn array_chunks<const N: usize>(self) -> ArrayChunks<Self, N>where
Self: Sized,
iter_array_chunks)N elements of the iterator at a time. Read more1.11.0 · Source§fn product<P>(self) -> P
fn product<P>(self) -> P
Source§fn cmp_by<I, F>(self, other: I, cmp: F) -> Ordering
fn cmp_by<I, F>(self, other: I, cmp: F) -> Ordering
iter_order_by)Iterator with those
of another with respect to the specified comparison function. Read more1.5.0 · Source§fn partial_cmp<I>(self, other: I) -> Option<Ordering>
fn partial_cmp<I>(self, other: I) -> Option<Ordering>
PartialOrd elements of
this Iterator with those of another. The comparison works like short-circuit
evaluation, returning a result without comparing the remaining elements.
As soon as an order can be determined, the evaluation stops and a result is returned. Read moreSource§fn partial_cmp_by<I, F>(self, other: I, partial_cmp: F) -> Option<Ordering>where
Self: Sized,
I: IntoIterator,
F: FnMut(Self::Item, <I as IntoIterator>::Item) -> Option<Ordering>,
fn partial_cmp_by<I, F>(self, other: I, partial_cmp: F) -> Option<Ordering>where
Self: Sized,
I: IntoIterator,
F: FnMut(Self::Item, <I as IntoIterator>::Item) -> Option<Ordering>,
iter_order_by)Iterator with those
of another with respect to the specified comparison function. Read moreSource§fn eq_by<I, F>(self, other: I, eq: F) -> bool
fn eq_by<I, F>(self, other: I, eq: F) -> bool
iter_order_by)1.5.0 · Source§fn lt<I>(self, other: I) -> bool
fn lt<I>(self, other: I) -> bool
Iterator are lexicographically
less than those of another. Read more1.5.0 · Source§fn le<I>(self, other: I) -> bool
fn le<I>(self, other: I) -> bool
Iterator are lexicographically
less or equal to those of another. Read more1.5.0 · Source§fn gt<I>(self, other: I) -> bool
fn gt<I>(self, other: I) -> bool
Iterator are lexicographically
greater than those of another. Read more1.5.0 · Source§fn ge<I>(self, other: I) -> bool
fn ge<I>(self, other: I) -> bool
Iterator are lexicographically
greater than or equal to those of another. Read more