Method end

smt/solver.cpp:342–344

}

Model::iterator Model::end() const {
  return { nullptr, Z3_model_get_num_consts(ctx(), m) };
}

pair<string, FnModel> Model::fns::iterator::operator*(void) const {
  auto decl = Z3_model_get_func_decl(ctx(), m, idx);