[PPL-devel] [GIT] ppl/ppl(pip): Improved implementation of PIP_Solution_Node:: compatibility_check().

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Mon Feb  1 14:12:04 2010 +0100

Improved implementation of PIP_Solution_Node::compatibility_check().
Besides readability and stylistic changes, the change should also immprove
robustness and (to a lesser extent) performance.

---

 src/PIP_Tree.cc |  319 ++++++++++++++++++++++++++++--------------------------
 1 files changed, 165 insertions(+), 154 deletions(-)

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