mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-20 04:43:39 +00:00
Code Activity

remove the default constructor

Browse source 
Signed-off-by: Lev <levnach@hotmail.com>
This commit is contained in:
Lev 2018-10-31 15:47:35 -07:00 • committed by Lev Nachmanson
parent 19cfbb4701
commit 7a5666f1df
1 changed files with 0 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/util/lp/factorization.h
View file

@ -30,9 +30,6 @@ class factorization {
svector<lpvar> m_vars; svector<lpvar> m_vars;
rational m_sign; rational m_sign;
public: public:
factorization(){
TRACE("nla_solver",);
}
bool is_empty() const { return m_vars.empty(); } bool is_empty() const { return m_vars.empty(); }
svector<lpvar> & vars() { return m_vars; } svector<lpvar> & vars() { return m_vars; }
const svector<lpvar> & vars() const { return m_vars; } const svector<lpvar> & vars() const { return m_vars; }