[PPL-devel] [GIT] ppl/ppl(pip): Corrected bug in PIP_Problem:: add_space_dimensions_and_embed().

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Fri Sep  4 17:26:01 2009 +0200

Corrected bug in PIP_Problem::add_space_dimensions_and_embed().

---

 src/PIP_Problem.cc |    7 +++----
 1 files changed, 3 insertions(+), 4 deletions(-)

diff --git a/src/PIP_Problem.cc b/src/PIP_Problem.cc
index fa290d2..a5955d2 100644
--- a/src/PIP_Problem.cc
+++ b/src/PIP_Problem.cc
@@ -341,10 +341,9 @@ PPL::PIP_Problem
   // First add PIP variables ...
   external_space_dim += m_pip_vars;
   // ... then add PIP parameters.
-  if (m_pip_vars > 0) {
-    parameters.insert(Variable(external_space_dim),
-                      Variable(external_space_dim - 1 + m_pip_vars));
-    external_space_dim += m_pip_vars;
+  for (dimension_type i = m_pip_params; i-- > 0; ) {
+    parameters.insert(Variable(external_space_dim));
+    ++external_space_dim;
   }
   // Update problem status.
   if (status != UNSATISFIABLE)