Trait CfgClassifyExt 

pub trait CfgClassifyExt {
    // Required methods
    fn recursion(&self) -> Recursion<'_>;
    fn make_proper(&mut self) -> bool;
    fn usefulness(&mut self) -> Usefulness;
    fn usefulness_with_roots(&mut self, roots: &[Symbol]) -> Usefulness;
}

Extension trait for assigning categories to context-free grammar rules, and related operations.

Required Methods

fn recursion(&self) -> Recursion<'_>

Allows you to access information on rule recursiveness.

fn make_proper(&mut self) -> bool

Modifies this grammar in-place to remove useless rules.

fn usefulness(&mut self) -> Usefulness

Determines usefulness of rules with the grammar’s roots.

A rule is useful if it is reachable from the grammar’s roots, and productive.

fn usefulness_with_roots(&mut self, roots: &[Symbol]) -> Usefulness

Determines usefulness of rules with the given roots.

A rule is useful if it is reachable from these roots, and productive.

Implementations on Foreign Types

impl CfgClassifyExt for Cfg

fn recursion(&self) -> Recursion<'_>

fn usefulness(&mut self) -> Usefulness

fn usefulness_with_roots(&mut self, roots: &[Symbol]) -> Usefulness

fn make_proper(&mut self) -> bool

Implementors