Struct Cycles 

pub struct Cycles<G: Borrow<Cfg>> { /* private fields */ }

Provides information about cycles among unit derivations in the grammar. There are two ways of pruning cycles.

Implementations

impl<G: Borrow<Cfg>> Cycles<G>

pub fn new(grammar: G) -> Self

Analyzes the grammar’s cycles.

pub fn cycle_free(&mut self) -> bool

Checks whether the grammar is cycle-free.

pub fn classify(&self) -> impl Iterator<Item = (&CfgRule, bool)> + '_

Iterates over rules that participate in a cycle.

pub fn cycle_participants( &self, get_cyclical: bool, ) -> impl Iterator<Item = &CfgRule> + '_

Iterates over rules that participate in a cycle.

impl<G: BorrowMut<Cfg>> Cycles<G>

pub fn remove_cycles(&mut self)

Removes all rules that participate in a cycle. Doesn’t preserve the language represented by the grammar.

pub fn rewrite_cycles(&mut self)

Rewrites all rules that participate in a cycle. Preserves the language represented by the grammar.