ksmt-core/io.ksmt.expr.rewrite.simplify/simplifyExprBase

simplifyExprBase

inline fun <T : KSort> KExprSimplifierBase.simplifyExprBase(expr: KExpr<T>, preprocess: KExprSimplifier.() -> KExpr<T>, simplify: KExprSimplifier.() -> KExpr<T>): KExpr<T>

Simplify an expression.

  1. Preprocess. Rewrite an expression before simplification of an arguments (top-down).

  2. Simplify. Rewrite an expression after arguments simplification (bottom-up).

  3. Post rewrite. Perform a simplification of a simplification result.