Method getElse

smt/solver.cpp:392–395

}

expr FnModel::getElse() const {
  auto ast = Z3_func_interp_get_else(ctx(), f);
  return ast ? expr(ast) : expr();
}


static bool print_queries = false;