mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-10 19:27:06 +00:00
Code Activity

squash blanks more in tableau pp

Browse source 
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
This commit is contained in:
Lev Nachmanson 2020-02-10 17:08:28 -08:00
parent 1371526062
commit ba4cc27817
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/math/lp/core_solver_pretty_printer_def.h
View file

@ -53,7 +53,7 @@ core_solver_pretty_printer<T, X>::core_solver_pretty_printer(lp_core_solver_base
m_basis_heading_title = "heading";
m_x_title = "x*";
m_title_width = static_cast<unsigned>(std::max(std::max(m_cost_title.size(), std::max(m_basis_heading_title.size(), m_x_title.size())), m_approx_norm_title.size()));
m_squash_blanks = nrows() > 10 && ncols() > 5;
m_squash_blanks = ncols() > 5;
}
template <typename T, typename X> void core_solver_pretty_printer<T, X>::init_costs() {