Skip to main content

simplify_expr

logicaffeine_compile::optimize::egraph::convert

Function simplify_expr 

Source 
pub fn simplify_expr<'a>(
    expr: &'a Expr<'a>,
    facts: &OracleFacts,
    rule_set: &[Rewrite],
    arena: &'a Arena<Expr<'a>>,
) -> &'a Expr<'a>
Expand description

Saturate ONE expression against the rule set and extract the cheapest equivalent. Returns the original pointer when nothing improved.