From 27cc9286313dffb2c3968f3e3ddd3dcc1fe0af04 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Tue, 14 Jan 2025 07:11:53 -1000 Subject: [PATCH] try m_fixed_var_eh Signed-off-by: Lev Nachmanson --- src/math/lp/monomial_bounds.cpp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/math/lp/monomial_bounds.cpp b/src/math/lp/monomial_bounds.cpp index ad0d11cbc..43b85757d 100644 --- a/src/math/lp/monomial_bounds.cpp +++ b/src/math/lp/monomial_bounds.cpp @@ -18,7 +18,7 @@ namespace nla { common(c), dep(c->m_intervals.get_dep_intervals()) { - std::function fixed_eh = [&](lpvar v) { + std::function fixed_eh = [c, this](lpvar v) { c->trail().push(push_back_vector(m_fixed_var_trail)); m_fixed_var_trail.push_back(v); }; @@ -63,8 +63,8 @@ namespace nla { lp::mpq coeff(1); for (auto w : m) { if (c().var_is_fixed(w)) { - d = lra.join_deps(d, lra.join_deps(lra.get_column_lower_bound_witness(w), lra.get_column_upper_bound_witness(w))); - coeff += lra.get_column_value(w).x; + d = lra.join_deps(d, lra.get_bound_constraint_witnesses_for_column(w)); + coeff *= lra.get_lower_bound(w).x; } } vector> coeffs;