Method simplifyNoTimeout

smt/expr.cpp:2225–2228

}

expr expr::simplifyNoTimeout() const {
  C();
  return Z3_simplify_ex(ctx(), ast(), ctx.getNoTimeoutParam());
}

expr expr::foldTopLevel() const {
  expr cond, then, els;