[PPL-devel] [GIT] ppl/ppl(pip): A minor improvement to the debug printing mechanism.

[Enea Zaffanella]

Module: ppl/ppl
Branch: pip
Commit: d6c61aaed265c41faaac720ea2ef2f25ed8684e6
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d6c61aaed265c41faaac720ea2ef2f25ed8684e6

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Fri Feb  4 14:21:07 2011 +0100

A minor improvement to the debug printing mechanism.
Methods solve() and generate_cut() are now provided with additional argument
indent_level, telling the amount of indentation for debug prints.
Added several messages to debug prints so as to clarify the solution tree
construction process.

---

 src/PIP_Problem.cc   |    3 +-
 src/PIP_Tree.cc      |  150 +++++++++++++++++++++++++++++++++++++++-----------
 src/PIP_Tree.defs.hh |   12 +++-
 3 files changed, 128 insertions(+), 37 deletions(-)

Diff:   http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=d6c61aaed265c41faaac720ea2ef2f25ed8684e6