Trait CfgSymbolBitMatrixExt 

pub trait CfgSymbolBitMatrixExt {
    // Required methods
    fn empty_matrix(&self) -> SymbolBitMatrix;
    fn direct_derivation_matrix(&self) -> DirectDerivationMatrix;
    fn reachability_matrix(&self) -> ReachabilityMatrix;
    fn unit_derivation_matrix(&self) -> UnitDerivationMatrix;
}

Extension traits for building matrices that represent relation between symbols, R(A, B) where A: Symbol, B: Symbol.

Required Methods

fn empty_matrix(&self) -> SymbolBitMatrix

Creates the empty matrix of size |S|x|S| where S: set of symbols.

fn direct_derivation_matrix(&self) -> DirectDerivationMatrix

Computes the direct derivation matrix.

fn reachability_matrix(&self) -> ReachabilityMatrix

Computes the reachability matrix.

fn unit_derivation_matrix(&self) -> UnitDerivationMatrix

Computes the unit derivation matrix.

A unit derivation is defined with a grammar rule such as:

A ::= B;

Implementations on Foreign Types

impl CfgSymbolBitMatrixExt for Cfg

fn empty_matrix(&self) -> SymbolBitMatrix

fn direct_derivation_matrix(&self) -> DirectDerivationMatrix

fn reachability_matrix(&self) -> ReachabilityMatrix

fn unit_derivation_matrix(&self) -> UnitDerivationMatrix

Implementors