Struct cfg::classification::cyclical::Cycles

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

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

Implementations

impl<'a, G> Cycles<&'a mut G>where G: RuleContainer + Default, for<'b> &'b G: RuleContainerRef<'b, Target = G>, for<'b> &'b mut G: RuleContainerMut<'b, Target = G>,

pub fn new(grammar: &'a mut G) -> Cycles<&'a mut G>

Analyzes the grammar’s cycles.

pub fn cycle_free(&self) -> bool

Checks whether the grammar is cycle-free.

impl<'a, G> Cycles<&'a mut G>where G: RuleContainer + Default, &'a G: RuleContainerRef<'a, Target = G>, &'a mut G: RuleContainerMut<'a, Target = G>,

pub fn cycle_participants( &'a self ) -> CycleParticipants<'a, G, <&'a G as RuleContainerRef<'a>>::Rules>

Iterates over rules that participate in a cycle.

pub fn remove_cycles(&mut self)where &'a G: RuleContainerRef<'a, Target = G>, &'a mut G: RuleContainerMut<'a, Target = G>,

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

pub fn rewrite_cycles(&mut self)where &'a G: RuleContainerRef<'a, Target = G>, &'a mut G: RuleContainerMut<'a, Target = G>,

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