Struct AutomatonBuilder 

pub struct AutomatonBuilder<T> { /* private fields */ }

Automaton builder

Implementations

impl<T: Eq + Hash + Clone> AutomatonBuilder<T>

pub fn new(initial_state: &T) -> Self

Create a new builder

• initial_state = initial state for the resulting automaton

pub fn mark_final(&mut self, state: &T) -> &mut Self

Mark a final state

pub fn set_default_successor(&mut self, state: &T, next: &T) -> &mut Self

Set the default successor of a state

pub fn add_transition( &mut self, state: &T, set: &CharSet, next: &T, ) -> &mut Self

Add a transition

pub fn build(&mut self) -> Result<Automaton, Error>

Construct an automaton

• fails if a state s has non-deterministic transitions, i.e., if two distinct transitions from s have non-disjoint labels (i.e., character sets).
• fails if a state s has a default successor but its transitions already cover the full alphabet.
• fails if a state s doesn’t have a default successor but its transitions do not cover the full alphabet.

pub fn build_unchecked(&mut self) -> Automaton

Build without checking

Trait Implementations

impl<T: Debug> Debug for AutomatonBuilder<T>

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

Formats the value using the given formatter.