Struct NFA 

pub struct NFA<A: Atom> { /* private fields */ }

Implementations

impl<A: Atom> NFA<A>

pub fn assemble(ast: Option<&ASTNode<A>>) -> Result<NFA<A>, FAAssembleError>

pub fn is_deterministic(&self) -> bool

Check whether all transitions in this NFA are deterministic.
This method can be used to check for ambiguities in the element content model.

If true, you can expect that converting to a DFA will not significantly increase the number of states.

pub fn initial_state(&self) -> State<A>

Returns the initial state.

pub fn transition( &self, initial_states: impl Iterator<Item = State<A>>, input: impl Iterator<Item = A>, ) -> Result<Vec<State<A>>, TransitionError>

Returns the destination state when input is entered, using initial_states as the initial states.

initial_state does not need to be a state generated by NFA::initial_state; it can also be a state generated by DFA::transition, etc.
For example, you can use this when you want to enter a chunked string little by little.

pub fn is_accepted(&self, state: State<A>) -> bool

Check if the given state is an accepted state.

If the given state is not generated from this DFA, always return false.

pub fn build_dfa(&self) -> DFA<A>

Convert this NFA to DFA.

Trait Implementations

impl<A: Debug + Atom> Debug for NFA<A>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.