Struct fsa::nfa::Automaton

pub struct Automaton<T> where
    T: State,  {
    pub states: Vec<T>,
    pub initial: usize,
}

Fields

states: Vec<T>

initial: usize

Methods

impl<T: State> Automaton<T>

pub fn create_state(&mut self) -> usize

pub fn moves(&self, st: &BitSet, c: u8) -> Vec<usize>

pub fn eclosure_(&self, st: usize) -> (BitSet, T::Data)

pub fn eclosure(&self, st: &[usize]) -> (BitSet, T::Data)

pub fn todot(&self, out: &mut Write) where
    T::Data: Display + Eq, 

Trait Implementations