From c121c5d2d8c2e2c884122c34ef3a6f5f33b9cd19 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Wed, 12 Jun 2019 15:40:21 -0700 Subject: [PATCH] remove dead code Signed-off-by: Lev Nachmanson --- src/math/lp/lar_solver.cpp | 13 ------------- src/math/lp/lar_solver.h | 2 -- 2 files changed, 15 deletions(-) diff --git a/src/math/lp/lar_solver.cpp b/src/math/lp/lar_solver.cpp index ef81eebb3..4294e34cc 100644 --- a/src/math/lp/lar_solver.cpp +++ b/src/math/lp/lar_solver.cpp @@ -728,19 +728,6 @@ bool lar_solver::use_tableau_costs() const { return m_settings.simplex_strategy() == simplex_strategy_enum::tableau_costs; } -void lar_solver::detect_rows_of_column_with_bound_change(unsigned j) { - if (m_mpq_lar_core_solver.m_r_heading[j] >= 0) { // it is a basic column - // just mark the row at touched and exit - m_rows_with_changed_bounds.insert(m_mpq_lar_core_solver.m_r_heading[j]); - return; - } - - if (use_tableau()) - detect_rows_of_bound_change_column_for_nbasic_column_tableau(j); - else - detect_rows_of_bound_change_column_for_nbasic_column(j); -} - void lar_solver::adjust_x_of_column(unsigned j) { lp_assert(false); } diff --git a/src/math/lp/lar_solver.h b/src/math/lp/lar_solver.h index d6d8ebd95..2f20c625c 100644 --- a/src/math/lp/lar_solver.h +++ b/src/math/lp/lar_solver.h @@ -392,8 +392,6 @@ public: bool use_tableau_costs() const; - void detect_rows_of_column_with_bound_change(unsigned j); - void adjust_x_of_column(unsigned j); bool row_is_correct(unsigned i) const;