Trait Alphabet

pub trait Alphabet:
    Hash
    + Eq
    + Debug
    + Clone
    + Copy
    + Ord { }

A generic alphabet.

Eq, Ord, and Hash are assumed to be provided for the finite set to simplify data structures by allowing use of different map and set types.

An interesting case may be using Option<A> where A: Alphabet which provides the possibility to consider an ‘anything else’ case and an actually infinte alphabet of which the automaton just uses a finite set.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<T> Alphabet for T

where T: Hash + Eq + Debug + Clone + Copy + Ord,