Trait Scope

pub trait Scope<Q, S> {
    // Required methods
    fn current_state(&self) -> &State<Q>;
    fn current_symbol(&self) -> &S;
}

The Scope trait is used to describe objects containing information or references to the current state and symbol of a Turing machine.

Required Methods

fn current_state(&self) -> &State<Q>

fn current_symbol(&self) -> &S

Implementations on Foreign Types

impl<Q, S> Scope<Q, S> for (State<Q>, S)

fn current_state(&self) -> &State<Q>

fn current_symbol(&self) -> &S

Implementors

impl<Q, S> Scope<Q, S> for Head<Q, S>

where Q: RawState,

impl<Q, S> Scope<Q, S> for Rule<Q, S>

where Q: RawState,