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

make factorization_factory.m_vars an alias

Browse source 
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
This commit is contained in:
Lev Nachmanson 2019-04-25 18:12:25 -07:00
parent bdabd52fb9
commit aeef6fd2d4
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -104,7 +104,7 @@ struct const_iterator_mon {
}; };
struct factorization_factory { struct factorization_factory {
const svector<lpvar> m_vars; const svector<lpvar>& m_vars;
const monomial* m_monomial; const monomial* m_monomial;
// returns true if found // returns true if found
virtual bool find_rm_monomial_of_vars(const svector<lpvar>& vars, unsigned& i) const = 0; virtual bool find_rm_monomial_of_vars(const svector<lpvar>& vars, unsigned& i) const = 0;