Function simplify_boolean

Source

pub fn simplify_boolean<F>(
    expr: &Expression,
    try_fold: &F,
    expr_eq: &impl Fn(&Expression, &Expression) -> bool,
) -> LemmaResult<Expression>where
    F: Fn(&Expression) -> Option<Expression>,

Expand description

Simplify a boolean expression using BDD-based simplification

simplify_boolean

Function simplify_boolean Copy item path

Function simplify_boolean