Struct cfg::earley::history::History

pub struct History {
    pub dots: Vec<RuleDot>,
    pub origin: Option<u32>,
    pub nullable: Option<(Symbol, bool)>,
}

Fields

dots: Vec<RuleDot>

origin: Option<u32>

nullable: Option<(Symbol, bool)>

Methods

impl History

pub fn new(id: u32, len: usize) -> Self

pub fn origin(&self) -> Option<u32>

pub fn nullable(&self) -> Option<(Symbol, bool)>

pub fn dot(&self, n: usize) -> RuleDot

Trait Implementations

impl Action for History

fn no_op(&self) -> Self

Returns a history with no-op semantic action.

impl Binarize for History

fn binarize<R>(&self, _rule: &R, depth: usize) -> Self

Returns a history. May record the binarization.

impl EliminateNulling for History

fn eliminate_nulling<R>(&self, rule: &R, subset: BinarizedRhsSubset) -> Self where
    R: GrammarRule, 

Returns a history. May record the elimination.

impl RewriteSequence for History

type Rewritten = History

Must be an Action, because all created grammar rules except the topmost one will have no-op semantic action.

fn top(&self, rhs: Symbol, sep: Option<Symbol>, new_rhs: &[Symbol]) -> Self

Returns a history. May record the rewrite.

fn bottom(&self, rhs: Symbol, sep: Option<Symbol>, new_rhs: &[Symbol]) -> Self

Returns a history. May record the rewrite.

impl HistorySource<History> for BuildHistory

fn build(&mut self, _lhs: Symbol, rhs: &[Symbol]) -> History

Create a history.

impl Clone for History

fn clone(&self) -> History

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Default for History

fn default() -> History

Returns the "default value" for a type.

impl Debug for History

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

Formats the value using the given formatter.