mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-08-19 09:40:20 +00:00
Code Activity

cheap_eqs - work on fixed_phase

Browse source 
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
This commit is contained in:
Lev Nachmanson 2020-07-02 12:58:11 -07:00
parent f4502ff952
commit 61da368ee3
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/math/lp/lp_bound_propagator.h
View file

@ -58,9 +58,9 @@ class lp_bound_propagator {
if (fixed_phase()) { if (fixed_phase()) {
tout << " fixed phase"; tout << " fixed phase";
} if (m_pol.contains(v->column())) { } if (m_pol.contains(v->column())) {
tout << (pol(v) == -1? " -":" +"); out << (pol(v) == -1? " -":" +");
} else { } else {
tout << " not in m_pol"; out << " not in m_pol";
} }
return out; return out;
} }