From 3224c19154a3df508b80cea6f8a9d4eae59262f0 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Sat, 1 Mar 2025 12:10:17 -0800 Subject: [PATCH] adjust printing Signed-off-by: Lev Nachmanson --- src/math/lp/lp_core_solver_base.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/math/lp/lp_core_solver_base.h b/src/math/lp/lp_core_solver_base.h index 9b096d8ad..bd33e39ff 100644 --- a/src/math/lp/lp_core_solver_base.h +++ b/src/math/lp/lp_core_solver_base.h @@ -436,7 +436,7 @@ public: return out; } - std::ostream& print_column_info(unsigned j, std::ostream & out) const { + std::ostream& print_column_info(unsigned j, std::ostream & out, const std::string& var_prefix = "x") const { if (j >= m_lower_bounds.size()) { out << "[" << j << "] is not present\n"; return out; @@ -445,7 +445,7 @@ public: std::stringstream strm; strm << m_x[j]; std::string j_val = strm.str(); - out << "[" << j << "] " << std::setw(6) << " := " << j_val; + out << var_prefix << j << " = " << std::setw(6) << j_val; if (m_basis_heading[j] >= 0) out << " base "; else