Module: ppl/ppl Branch: pip Commit: 8abcfae5a3f83a37b57a6fb676df3fcf87f1f680 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8abcfae5a3f83... Author: Enea Zaffanella <zaffanella@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)