Struct AlgebraicSimplifier 

pub struct AlgebraicSimplifier {
    pub rules: Vec<AlgRule>,
    pub total_simplified: usize,
}

Algebraic simplifier using GVN value numbers.

Examples of rules:

• x + 0 = x
• x * 1 = x
• x - x = 0
• x == x = true These are encoded as GVN-aware rewriting on NormExpr keys.

Fields

rules: Vec<AlgRule>

Rules that have been registered.

total_simplified: usize

Total simplifications performed.

Implementations

impl AlgebraicSimplifier

pub fn new() -> Self

pub fn simplify(&mut self, expr: &NormExpr, fact: &GVNFact) -> Option<NormExpr>

Apply algebraic simplification rules to a NormExpr. Returns a simplified NormExpr if a rule applies.

pub fn run(&mut self, _decl: &mut LcnfFunDecl)

Run simplification over all bindings in a function.

Trait Implementations

impl Debug for AlgebraicSimplifier

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for AlgebraicSimplifier

fn default() -> Self

Returns the “default value” for a type.