From 9b7f97fab9a7438d044707ef7d543a0f17182203 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Tue, 26 May 2020 16:33:24 -0700 Subject: [PATCH] change try_patch to a template Signed-off-by: Lev Nachmanson --- src/math/lp/int_solver.cpp | 10 +++------- 1 file changed, 3 insertions(+), 7 deletions(-) diff --git a/src/math/lp/int_solver.cpp b/src/math/lp/int_solver.cpp index 14e9132fb..7601c9fa4 100644 --- a/src/math/lp/int_solver.cpp +++ b/src/math/lp/int_solver.cpp @@ -148,10 +148,6 @@ lia_move int_solver::check(lp::explanation * e) { m_upper = false; lia_move r = lia_move::undef; - gomory gc(*this); - int_cube cube(*this); - int_branch branch(*this); - if (m_gcd.should_apply()) r = m_gcd(); check_return_helper pc(lra); @@ -161,10 +157,10 @@ lia_move int_solver::check(lp::explanation * e) { ++m_number_of_calls; if (r == lia_move::undef && m_patcher.should_apply()) r = m_patcher(); - if (r == lia_move::undef && should_find_cube()) r = cube(); + if (r == lia_move::undef && should_find_cube()) r = cube(*this)(); if (r == lia_move::undef && should_hnf_cut()) r = hnf_cut(); - if (r == lia_move::undef && should_gomory_cut()) r = gc(); - if (r == lia_move::undef) r = branch(); + if (r == lia_move::undef && should_gomory_cut()) r = gc(*this)(); + if (r == lia_move::undef) r = branch(*this)(); return r; }