Struct cfg::Cfg

pub struct Cfg { /* private fields */ }

Basic representation of context-free grammars.

Implementations

impl Cfg

pub fn new() -> Cfg

Creates an empty context-free grammar.

pub fn with_sym_source(sym_source: SymbolSource) -> Cfg

Creates an empty context-free grammar with the given symbol source.

impl Cfg

pub fn sym<const N: usize>(&mut self) -> [Symbol; N]

Returns generated symbols.

pub fn next_sym(&mut self) -> Symbol

Generates a new unique symbol.

pub fn num_syms(&self) -> usize

Returns the number of symbols in use.

pub fn binarize(&self) -> BinarizedCfg

Returns a binarized grammar which is weakly equivalent to this grammar.

Trait Implementations

impl Clone for Cfg

fn clone(&self) -> Cfg

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Default for Cfg

fn default() -> Cfg

Returns the “default value” for a type.

impl RuleContainer for Cfg

fn rules<'a>(&'a self) -> impl Iterator<Item = RuleRef<'a>>

where Cfg: 'a,

fn history_graph(&self) -> &HistoryGraph

fn sym_source(&self) -> &SymbolSource

Returns an immutable reference to the grammar’s symbol source.

fn sym_source_mut(&mut self) -> &mut SymbolSource

Returns a mutable reference to the grammar’s symbol source.

fn retain<F>(&mut self, f: F)

where F: FnMut(RuleRef<'_>) -> bool,

Retains only the rules specified by the predicate.

fn add_rule(&mut self, rule_ref: RuleRef<'_>)

Inserts a rule with lhs and rhs on its LHS and RHS. The rule carries history.

fn add_history_node(&mut self, node: HistoryNode) -> NonZero<usize>

fn sym<const N: usize>(&mut self) -> [Symbol; N]

Returns generated symbols.

fn next_sym(&mut self) -> Symbol

Generates a new unique symbol.

fn num_syms(&self) -> usize

Returns the number of symbols in use.

fn rule(&mut self, lhs: Symbol) -> RuleBuilder<&mut Self>

Starts building a new rule.

fn precedenced_rule(&mut self, lhs: Symbol) -> PrecedencedRuleBuilder<&mut Self>

Starts building a new precedenced rule.

fn reverse(&self) -> Self

where Self: Default,

Reverses the grammar.