Trait contained_turing::Alphabet

pub trait Alphabet<S: Symbolic> {
    // Required method
    fn is_viable(&self, symbol: &S) -> bool;

    // Provided method
    fn default_symbol(&self) -> S { ... }
}

Alphabet describes an immutable set of Symbolic elements

Required Methods

fn is_viable(&self, symbol: &S) -> bool

Returns true if the symbol is in the alphabet

Provided Methods

fn default_symbol(&self) -> S

Alphabet::default_symbol

Implementations on Foreign Types

impl<S: Symbolic> Alphabet<S> for BTreeSet<S>

fn is_viable(&self, symbol: &S) -> bool

fn default_symbol(&self) -> S

impl<S: Symbolic> Alphabet<S> for Vec<S>

fn is_viable(&self, symbol: &S) -> bool

fn default_symbol(&self) -> S

impl<S: Symbolic> Alphabet<S> for HashSet<S>

fn is_viable(&self, symbol: &S) -> bool

fn default_symbol(&self) -> S

Implementors

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

impl<S: Symbolic> Alphabet<S> for Program<S>