Struct cfg::earley::grammar::Grammar

pub struct Grammar { /* fields omitted */ }

Drop-in replacement for cfg::Cfg that traces relations between user-provided and internal grammars.

Methods

impl Grammar

pub fn new() -> Self

pub fn set_start(&mut self, start: Symbol)

pub fn start(&self) -> Symbol

pub fn rule(
    &mut self,
    lhs: Symbol
) -> RuleBuilder<&mut Cfg<History, History>, BuildHistory>

pub fn sequence(
    &mut self,
    lhs: Symbol
) -> SequenceRuleBuilder<History, &mut Vec<Sequence<History>>, BuildHistory>

pub fn binarize(&self) -> BinarizedGrammar

Methods from Deref<Target = Cfg<History, History>>

pub fn sym<T>(&mut self) -> T where
    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<Hs, &mut Vec<Sequence<Hs>>>

Starts building a sequence rule.

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

Returns sequence rules.

pub fn rewrite_sequences(&mut self)

Forces a rewrite of sequence rules into grammar rules.

pub fn binarize<'a>(&'a self) -> BinarizedCfg<H> where
    &'a Self: ContextFreeRef<'a, Target = Self>,
    H: Binarize + Clone + 'static, 

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

Trait Implementations

impl Default for Grammar

fn default() -> Grammar

Returns the "default value" for a type.

impl Deref for Grammar

type Target = Cfg<History, History>

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl DerefMut for Grammar

fn deref_mut(&mut self) -> &mut Self::Target

Mutably dereferences the value.