mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-20 12:53:38 +00:00
Code Activity

remove virtual destructor from api::pmanager

Browse source
This commit is contained in:
Nuno Lopes 2018-07-09 10:37:26 +01:00
parent c5a282dadb
commit 6f7271a5e8
2 changed files with 3 additions and 14 deletions
Download patch file Download diff file Expand all files Collapse all files

11
src/api/api_polynomial.cpp
View file

@ -26,17 +26,6 @@ Notes:
#include "util/scoped_timer.h" #include "util/scoped_timer.h"
#include "ast/expr2var.h" #include "ast/expr2var.h"
namespace api {
pmanager::pmanager(reslimit& lim):
m_pm(lim, m_nm) {
}
pmanager::~pmanager() {
}
};
extern "C" { extern "C" {
Z3_ast_vector Z3_API Z3_polynomial_subresultants(Z3_context c, Z3_ast p, Z3_ast q, Z3_ast x) { Z3_ast_vector Z3_API Z3_polynomial_subresultants(Z3_context c, Z3_ast p, Z3_ast q, Z3_ast x) {

6
src/api/api_polynomial.h
View file

@ -23,13 +23,13 @@ Notes:
namespace api { namespace api {
class pmanager { class pmanager final {
unsynch_mpz_manager m_nm; unsynch_mpz_manager m_nm;
polynomial::manager m_pm; polynomial::manager m_pm;
// TODO: add support for caching expressions -> polynomial and back // TODO: add support for caching expressions -> polynomial and back
public: public:
pmanager(reslimit& limx); pmanager(reslimit& lim) : m_pm(lim, m_nm) {}
virtual ~pmanager(); ~pmanager() {}
polynomial::manager & pm() { return m_pm; } polynomial::manager & pm() { return m_pm; }
}; };