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

minor optimization to reset() methods in smt::ketnel and smt::quantifier_manager

Browse source 
Signed-off-by: Nuno Lopes <a-nlopes@MSRC-4051274.europe.corp.microsoft.com>
This commit is contained in:
Nuno Lopes 2015-02-27 11:48:14 +00:00
parent 8d303a09b5
commit 71d31c1267
2 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/smt/smt_kernel.cpp
View file

@ -236,8 +236,8 @@ namespace smt {
params_ref ps = m_imp->params(); params_ref ps = m_imp->params();
#pragma omp critical (smt_kernel) #pragma omp critical (smt_kernel)
{ {
dealloc(m_imp); m_imp->~imp();
m_imp = alloc(imp, _m, fps, ps); m_imp = new (m_imp) imp(_m, fps, ps);
} }
} }

4
src/smt/smt_quantifier.cpp
View file

@ -361,8 +361,8 @@ namespace smt {
context & ctx = m_imp->m_context; context & ctx = m_imp->m_context;
smt_params & p = m_imp->m_params; smt_params & p = m_imp->m_params;
quantifier_manager_plugin * plugin = m_imp->m_plugin->mk_fresh(); quantifier_manager_plugin * plugin = m_imp->m_plugin->mk_fresh();
dealloc(m_imp); m_imp->~imp();
m_imp = alloc(imp, *this, ctx, p, plugin); m_imp = new (m_imp) imp(*this, ctx, p, plugin);
plugin->set_manager(*this); plugin->set_manager(*this);
} }
} }