Struct ItemSetCollection 

pub struct ItemSetCollection {
    pub sets: Vec<ItemSet>,
    pub goto_table: IndexMap<(StateId, SymbolId), StateId>,
    pub symbol_is_terminal: IndexMap<SymbolId, bool>,
}

Collection of all LR(1) item sets (parser states)

Fields

sets: Vec<ItemSet>

All computed LR(1) item sets (parser states).

goto_table: IndexMap<(StateId, SymbolId), StateId>

GOTO transitions: (from_state, symbol) -> to_state.

symbol_is_terminal: IndexMap<SymbolId, bool>

Track which symbols in goto_table are terminals (true) vs non-terminals (false)

Implementations

impl ItemSetCollection

pub fn build_canonical_collection_augmented( grammar: &Grammar, first_follow: &FirstFollowSets, augmented_start: SymbolId, _original_start: SymbolId, eof_symbol: SymbolId, ) -> Self

Build canonical collection of LR(1) item sets for augmented grammar

pub fn build_canonical_collection( grammar: &Grammar, first_follow: &FirstFollowSets, ) -> Self

Build canonical collection of LR(1) item sets.

Examples

use adze_glr_core::{FirstFollowSets, ItemSetCollection};
use adze_ir::*;

let mut grammar = Grammar::new("simple".into());
let a = SymbolId(1);
let s = SymbolId(10);

grammar.tokens.insert(a, Token { name: "a".into(), pattern: TokenPattern::String("a".into()), fragile: false });
grammar.rule_names.insert(s, "S".into());
grammar.rules.insert(s, vec![
    Rule { lhs: s, rhs: vec![Symbol::Terminal(a)], precedence: None, associativity: None, fields: vec![], production_id: ProductionId(0) },
]);

let ff = FirstFollowSets::compute(&grammar).unwrap();
let collection = ItemSetCollection::build_canonical_collection(&grammar, &ff);
assert!(!collection.sets.is_empty(), "should have at least one state");

Trait Implementations

impl Clone for ItemSetCollection

fn clone(&self) -> ItemSetCollection

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ItemSetCollection

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

Formats the value using the given formatter.