Struct LR0StateMachine

pub struct LR0StateMachine<'a, T: 'a, N: 'a, A: 'a> {
    pub states: Vec<(ItemSet<'a, T, N, A>, BTreeMap<&'a Symbol<T, N>, usize>)>,
    pub start: &'a N,
}

An LR(0) state machine.

Fields

states: Vec<(ItemSet<'a, T, N, A>, BTreeMap<&'a Symbol<T, N>, usize>)>

A vector of states, each of which consists of an item set and a set of transitions.

State 0 is the starting state.

start: &'a N

The starting state of the associated context-free grammar.

Implementations

impl<'a, T: Ord, N: Ord, A> LR0StateMachine<'a, T, N, A>

pub fn extended_grammar( &self, ) -> Grammar<&'a T, (usize, &'a N), (usize, &'a Rhs<T, N, A>)>

Create an LALR(1) extended grammar, as described here.

impl<'a, T: Debug, N: Debug, A> LR0StateMachine<'a, T, N, A>

pub fn print(&self)

Print the state machine in graphviz format.

Trait Implementations

impl<'a, T: Debug + 'a, N: Debug + 'a, A: Debug + 'a> Debug for LR0StateMachine<'a, T, N, A>

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

Formats the value using the given formatter.