Struct cfg::binarized::BinarizedCfg

pub struct BinarizedCfg { /* private fields */ }

Representation for grammars where right-hand sides of all rules have at most two symbols.

Implementations

impl BinarizedCfg

pub fn new() -> Self

Creates a BinarizedCfg.

pub fn with_sym_source(sym_source: SymbolSource) -> Self

Creates an empty BinarizedCfg with the given symbol source.

pub fn from_context_free<'a, G>(this: &'a G) -> BinarizedCfgwhere G: RuleContainer + Default, &'a G: RuleContainerRef<'a, Target = G>,

Creates a BinarizedCfg by binarizing a context-free grammar.

pub fn sort(&mut self)

Sorts the rule array.

pub fn sort_by<F>(&mut self, compare: F)where F: FnMut(&BinarizedRule, &BinarizedRule) -> Ordering,

Sorts the rule array in place, using the argument to compare elements.

pub fn dedup(&mut self)

Removes consecutive duplicate rules.

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 eliminate_nulling_rules(&mut self) -> BinarizedCfg

Eliminates all rules of the form A ::= epsilon.

In other words, this splits off the set of nulling rules.

The language represented by the grammar is preserved, except for the possible lack of the empty string. Unproductive rules aren’t preserved.

Trait Implementations

impl Clone for BinarizedCfg

fn clone(&self) -> BinarizedCfg

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Default for BinarizedCfg

fn default() -> Self

Returns the “default value” for a type.

impl RuleContainer for BinarizedCfg

fn history_graph(&self) -> &HistoryGraph

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

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_id: HistoryId)

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

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 BinarizedCfg

type RuleRef = RuleRef<'a>

Immutable reference to a rule.

type Rules = Chain<LhsWithHistoryToRuleRef<'a, Enumerate<Cloned<Iter<'a, Option<NonZeroUsize>>>>>, BinarizedRuleToRuleRef<Iter<'a, BinarizedRule>>>

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 BinarizedCfg