simplify<A extends Expr> method

A simplify<A extends Expr>(
  1. Expr expr, [
  2. Params? params
])

Simplifies an expression using basic algebraic rules and constant folding.

Implementation

A simplify<A extends Expr>(Expr expr, [Params? params]) {
  if (params == null) {
    return _getExpr(_z3.simplify(_createAST(expr))) as A;
  } else {
    return _getExpr(_z3.simplify_ex(_createAST(expr), params._params)) as A;
  }
}