simplify method

AST simplify(
  1. AST ast, [
  2. Params? params
])

Implementation

AST simplify(AST ast, [Params? params]) {
  if (params == null) {
    return _getAST(_z3.simplify(_createAST(ast)));
  } else {
    return _getAST(_z3.simplify_ex(_createAST(ast), params._params));
  }
}