Trait State 

pub trait State<Σ: Eq + Hash + Copy> {
    type Index;

    // Required methods
    fn get_transition(&self, symbol: Self::Index) -> Option<&Self>;
    fn add_transition(&mut self, transition: (Σ, Option<&Self>));
    fn set_accept(&mut self, accept: bool);
    fn is_accept(&self) -> bool;
}

A node in the DFA, contains is_accept and a transition hashmap. MARK: State

Required Associated Types

type Index

The type of the index used to access transitions in the hashmap.

Required Methods

fn get_transition(&self, symbol: Self::Index) -> Option<&Self>

Returns the next state given the provided symbol, if it exists.

fn add_transition(&mut self, transition: (Σ, Option<&Self>))

Adds a transition to the hashmap. None represents a self-transition.

fn set_accept(&mut self, accept: bool)

Sets the accept state flag.

fn is_accept(&self) -> bool

Returns the accept state flag.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<Σ: Eq + Hash + Copy + Indexable> State<Σ> for CompleteState<Σ>

type Index = usize

impl<Σ: Eq + Hash + Copy> State<Σ> for PartialState<Σ>

type Index = Σ