Crate cfg_symbol_bit_matrix 

This crate defines the type SymbolBitMatrix as well as operations and utilites relating to it.

Re-exports

pub use self::remap_symbols::CfgRemapSymbolsExt;

pub use self::remap_symbols::Remap;

Modules

remap_symbols

Remaps symbols and removes unused symbols.

Structs

DirectDerivationMatrix

A direct derivation matrix.

ReachabilityMatrix

A reachability matrix.

SymbolBitMatrix

A matrix that represents a relation R(A, B) between two symbols.

UnitDerivationMatrix

A unit derivation matrix.

Traits

CfgSymbolBitMatrixExt

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