Method binop_fold

smt/expr.cpp:704–708

}

expr expr::binop_fold(const expr &rhs,
                      Z3_ast(*op)(Z3_context, Z3_ast, Z3_ast)) const {
  C(rhs);
  return simplify_const(op(ctx(), ast(), rhs()), *this, rhs);
}

expr expr::unop_fold(Z3_ast(*op)(Z3_context, Z3_ast)) const {
  C();