[PPL-devel] [GIT] ppl/ppl(pip): Added display of computed row parameter signs in noisy PIP mode.

[François Galea]

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

Author: François Galea <francois.galea at uvsq.fr>
Date:   Tue Oct 20 16:52:33 2009 +0200

Added display of computed row parameter signs in noisy PIP mode.

---

 src/PIP_Tree.cc |    7 +++++++
 1 files changed, 7 insertions(+), 0 deletions(-)

diff --git a/src/PIP_Tree.cc b/src/PIP_Tree.cc
index f0ade33..fff5599 100644
--- a/src/PIP_Tree.cc
+++ b/src/PIP_Tree.cc
@@ -988,6 +988,13 @@ PIP_Solution_Node::solve(PIP_Tree_Node*& parent_ref, const Matrix& ctx,
       }
     }
 
+#ifdef NOISY_PIP
+    std::cout << "sign =";
+    for (i=0; i<sign.size(); ++i)
+      std::cout << " " << "?0+-*"[sign[i]];
+    std::cout << std::endl;
+#endif
+
     /* If we have found a row i_ with negative parameters :
        Either the problem is empty, or a pivoting step is required
     */