mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-05 21:53:23 +00:00
Code Activity

Add additional API to solver_pool

Browse source
This commit is contained in:
Arie Gurfinkel 2018-05-24 12:12:48 -07:00
parent c2304e2636
commit 180d38378a
2 changed files with 9 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

7
src/solver/solver_pool.cpp
View file

@ -65,6 +65,9 @@ public:
solver* translate(ast_manager& m, params_ref const& p) override { UNREACHABLE(); return nullptr; } solver* translate(ast_manager& m, params_ref const& p) override { UNREACHABLE(); return nullptr; }
void updt_params(params_ref const& p) override { solver::updt_params(p); m_base->updt_params(p); } void updt_params(params_ref const& p) override { solver::updt_params(p); m_base->updt_params(p); }
void push_params() override {m_base->push_params();}
void pop_params() override {m_base->pop_params();}
void collect_param_descrs(param_descrs & r) override { m_base->collect_param_descrs(r); } void collect_param_descrs(param_descrs & r) override { m_base->collect_param_descrs(r); }
void collect_statistics(statistics & st) const override { m_base->collect_statistics(st); } void collect_statistics(statistics & st) const override { m_base->collect_statistics(st); }
unsigned get_num_assertions() const override { return m_base->get_num_assertions(); } unsigned get_num_assertions() const override { return m_base->get_num_assertions(); }
@ -280,6 +283,10 @@ ptr_vector<solver> solver_pool::get_base_solvers() const {
return solvers; return solvers;
} }
void solver_pool::updt_params(const params_ref &p) {
ptr_vector<solver> solvers = get_base_solvers();
for (solver *s : solvers) s->updt_params(p);
}
void solver_pool::collect_statistics(statistics &st) const { void solver_pool::collect_statistics(statistics &st) const {
ptr_vector<solver> solvers = get_base_solvers(); ptr_vector<solver> solvers = get_base_solvers();
for (solver* s : solvers) s->collect_statistics(st); for (solver* s : solvers) s->collect_statistics(st);

2
src/solver/solver_pool.h
View file

@ -66,6 +66,8 @@ public:
solver* mk_solver(); solver* mk_solver();
void reset_solver(solver* s); void reset_solver(solver* s);
void updt_params(const params_ref &p);
}; };