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

Author: François Galea francois.galea@uvsq.fr Date: Tue Jan 5 20:32:59 2010 +0100

Fixed a bug. Now test08 and test09 in pipproblem2.cc are successful.

---

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

diff --git a/src/PIP_Tree.cc b/src/PIP_Tree.cc index 13e572c..56c79b7 100644 --- a/src/PIP_Tree.cc +++ b/src/PIP_Tree.cc @@ -1319,11 +1319,12 @@ PIP_Solution_Node::update_tableau(const PIP_Problem& problem, Row var(n_vars, tableau.s_capacity(), Row::Flags()); Row param(n_params+1, tableau.t_capacity(), Row::Flags()); Coefficient cnst_term = cst->inhomogeneous_term(); + dimension_type dim = cst->space_dimension(); if (cst->is_strict_inequality()) // convert c > 0 <=> c-1 >= 0 cnst_term -= 1; param[0] = cnst_term * denom; - for (i=0; i<internal_space_dim; i++) { + for (i=0; i<dim; i++) { if (parameters.count(i) == 1) { param[p++] = cst->coefficient(Variable(i)) * denom; } else {