Trait Alphabet

pub trait Alphabet {
    type Elem;

    // Required methods
    fn as_slice(&self) -> &[Self::Elem];
    fn as_mut_slice(&mut self) -> &mut [Self::Elem];
    fn to_vec(&self) -> Vec<Self::Elem>;

    // Provided methods
    fn is_empty(&self) -> bool { ... }
    fn len(&self) -> usize { ... }
}

Alphabet describes a finite set of symbols used to construct a formal language.

Ideally, the alphabet should be implemented on unit enums since each symbol can be represented as a unique variant and assigned a particular value. The values of the variants may then be used as pointers, specifiying the location of the symbol w.r.t. the alphabet.

Required Associated Types

type Elem

Required Methods

fn as_slice(&self) -> &[Self::Elem]

fn as_mut_slice(&mut self) -> &mut [Self::Elem]

fn to_vec(&self) -> Vec<Self::Elem>

Provided Methods

fn is_empty(&self) -> bool

fn len(&self) -> usize

Implementations on Foreign Types

impl<S: Symbolic> Alphabet for [S]

type Elem = S

fn as_slice(&self) -> &[S]

fn as_mut_slice(&mut self) -> &mut [S]

fn is_empty(&self) -> bool

fn len(&self) -> usize

fn to_vec(&self) -> Vec<S>

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

type Elem = S

fn as_slice(&self) -> &[S]

fn as_mut_slice(&mut self) -> &mut [S]

fn is_empty(&self) -> bool

fn len(&self) -> usize

fn to_vec(&self) -> Vec<S>

Implementors