Struct automata::nfa::NFA

pub struct NFA<S: Eq + Hash = usize, I: Eq + Hash = char> { /* fields omitted */ }

Methods

impl<S: Clone + Eq + Hash, I: Eq + Hash> NFA<S, I>

fn new(
    start: S,
    accept_states: HashSet<S>,
    transitions: HashMap<(S, Transition<I>), HashSet<S>>
) -> NFA<S, I>

fn get_accept_states(&self) -> &HashSet<S>

fn get_start_state(&self) -> &S

fn get_transitions(&self) -> &HashMap<(S, Transition<I>), HashSet<S>>

fn iter(&self, input: Vec<I>) -> NFAIter<S, I>

Trait Implementations

impl<S: Debug + Eq + Hash, I: Debug + Eq + Hash> Debug for NFA<S, I>

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl<S, I> Automaton for NFA<S, I> where
    S: Hash + Eq + Copy,
    I: Hash + Eq + Copy, 

type State = S

type Alphabet = I

fn run(&self, s: Vec<I>) -> Option<S>

fn output_graphviz(&self, filename: &str) where
    S: Display,
    I: Display,