Struct cfg::prelude::Cfg

pub struct Cfg { /* private fields */ }

Basic representation of context-free grammars.

Implementations

impl Cfg

pub fn new() -> Self

Creates an empty context-free grammar.

pub fn with_sym_source(sym_source: SymbolSource) -> Self

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

impl Cfg

pub fn sym<T>(&mut self) -> Twhere T: SymbolContainer,

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 sequence( &mut self, lhs: Symbol ) -> SequenceRuleBuilder<&mut Vec<Sequence>>

Starts building a sequence rule.

pub fn sequence_rules(&self) -> &[Sequence]

Returns sequence rules.

pub fn rewrite_sequences(&mut self)

Forces a rewrite of sequence rules into grammar rules.

pub fn binarize<'a>(&'a self) -> BinarizedCfgwhere &'a Self: RuleContainerRef<'a, Target = Self>,

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() -> Self

Returns the “default value” for a type.

impl RuleContainer for Cfg

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(Symbol, &[Symbol], HistoryId) -> bool,

Retains only the rules specified by the predicate.

fn add_rule(&mut self, lhs: Symbol, rhs: &[Symbol], history: HistoryId)

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

fn add_history_node(&mut self, node: HistoryNode) -> HistoryId

fn sym<T>(&mut self) -> Twhere T: SymbolContainer,

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.

impl<'a> RuleContainerRef<'a> for &'a Cfg

type RuleRef = <<&'a Cfg as RuleContainerRef<'a>>::Rules as Iterator>::Item

Immutable reference to a rule.

type Rules = Iter<'a, Rule>

Iterator over immutable references to the grammar’s rules.

fn rules(self) -> Self::Rules

Returns an iterator over immutable references to the grammar’s rules.

impl<'a> RuleContainerMut<'a> for &'a mut Cfg