Struct WorkingState 

pub struct WorkingState { /* private fields */ }

The symbol transitions are assumed to have priority before epsilon transitions, meaning that of all the propogated next symbol transitions available, those going out from the previous transition’s destination will come first.

So, if the symbol transitions should have a lower priority than those found via an epsilon transition, they should be in a new state with a lower priority epsilon transition to it. Due to the way we construct NFAs, this should initially be the case– No state has both incoming and outgoing symbol transitions (they are always separated by at least one epsilon transition) and priority is maintained. We then can optimize where there are no competing transitions.

Implementations

impl WorkingState

pub const fn new() -> WorkingState

pub fn with_transition(self, to: usize, symbol: Atom) -> WorkingState

pub fn with_epsilon(self, to: usize) -> WorkingState

pub fn with_epsilon_special( self, to: usize, special: EpsilonType, ) -> WorkingState

pub fn with_offset(self, offset: usize) -> WorkingState

pub fn inplace_offset(&mut self, offset: usize)

pub fn add_offset(&self, offset: usize) -> WorkingState

Trait Implementations

impl Clone for WorkingState

fn clone(&self) -> WorkingState

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for WorkingState

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

Formats the value using the given formatter.

impl Display for WorkingState

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

Formats the value using the given formatter.