Module: ppl/ppl Branch: master Commit: 092abc98a2acfe93ecac11779f39199668b84bb9 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=092abc98a2acf...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Jul 14 19:33:20 2009 +0200

Debugging prints improved.

---

src/MIP_Problem.cc | 15 ++++++++++----- 1 files changed, 10 insertions(+), 5 deletions(-)

diff --git a/src/MIP_Problem.cc b/src/MIP_Problem.cc index bf5df34..202a5c8 100644 --- a/src/MIP_Problem.cc +++ b/src/MIP_Problem.cc @@ -1615,7 +1615,8 @@ PPL::MIP_Problem::solve_mip(bool& have_incumbent_solution, PPL_DIRTY_TEMP_COEFFICIENT(num); PPL_DIRTY_TEMP_COEFFICIENT(den); lp.evaluate_objective_function(p, num, den); - std::cout << "new value found: " << num << "/" << den + std::cout << "MIP_Problem::solve_mip(): " + << "new value found: " << num << "/" << den << "." << std::endl; #endif } @@ -1635,7 +1636,8 @@ PPL::MIP_Problem::solve_mip(bool& have_incumbent_solution, lp_aux.add_constraint(Variable(nonint_dim) <= tmp_coeff1); #if PPL_NOISY_SIMPLEX using namespace IO_Operators; - std::cout << "descending with: " + std::cout << "MIP_Problem::solve_mip(): " + << "descending with: " << (Variable(nonint_dim) <= tmp_coeff1) << "." << std::endl; #endif @@ -1646,7 +1648,8 @@ PPL::MIP_Problem::solve_mip(bool& have_incumbent_solution, lp.add_constraint(Variable(nonint_dim) >= tmp_coeff2); #if PPL_NOISY_SIMPLEX using namespace IO_Operators; - std::cout << "descending with: " + std::cout << "MIP_Problem::solve_mip(): " + << "descending with: " << (Variable(nonint_dim) >= tmp_coeff2) << "." << std::endl; #endif @@ -1790,8 +1793,10 @@ PPL::MIP_Problem::is_mip_satisfiable(MIP_Problem& lp, lp.add_constraint(Variable(nonint_dim) >= tmp_coeff2); #if PPL_NOISY_SIMPLEX using namespace IO_Operators; - std::cout << "descending with: " - << (Variable(nonint_dim) >= tmp_coeff2) << std::endl; + std::cout << "MIP_Problem::is_mip_satisfiable(): " + << "descending with: " + << (Variable(nonint_dim) >= tmp_coeff2) + << "." << std::endl; #endif bool satisfiable = is_mip_satisfiable(lp, i_vars, p); #if PPL_NOISY_SIMPLEX