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

Author: Enea Zaffanella zaffanella@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=d6c61aaed...