Method unop_fold

smt/expr.cpp:710–713

}

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

#define binopc(op, exprop, z3app, identity, absorvent)                         \
  binop_commutative(rhs, op, &expr::exprop, &expr::identity, &expr::absorvent, \