Module: ppl/ppl Branch: master Commit: ab230a684a4d2ce0b8cc07a0cb5a6f5b586525c9 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ab230a684a4d2... Author: Abramo Bagnara <abramo.bagnara@gmail.com> Date: Fri May 15 18:22:02 2009 +0200 A strict relation info is required here. --- src/Octagonal_Shape.templates.hh | 6 +++--- 1 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/Octagonal_Shape.templates.hh b/src/Octagonal_Shape.templates.hh index 464a87a..6a041c8 100644 --- a/src/Octagonal_Shape.templates.hh +++ b/src/Octagonal_Shape.templates.hh @@ -6665,7 +6665,7 @@ IO_Operators::operator<<(std::ostream& s, const Octagonal_Shape<T>& x) { s << ", "; // If the value bound can NOT be divided by 2 exactly, // then we output the constraint `2*v_i == bound'. - if (div_2exp_assign_r(half, x_ii_i, 1, ROUND_UP) == V_EQ) + if (div_2exp_assign_r(half, x_ii_i, 1, ROUND_UP | ROUND_STRICT_RELATION) == V_EQ) s << v_i << " == " << half; else s << "2*" << v_i << " == " << x_ii_i; @@ -6680,7 +6680,7 @@ IO_Operators::operator<<(std::ostream& s, const Octagonal_Shape<T>& x) { neg_assign_r(negation, x_i_ii, ROUND_NOT_NEEDED); // If the value bound can NOT be divided by 2 exactly, // then we output the constraint `2*v_i >= negation'. - if (div_2exp_assign_r(half, negation, 1, ROUND_UP) == V_EQ) + if (div_2exp_assign_r(half, negation, 1, ROUND_UP | ROUND_STRICT_RELATION) == V_EQ) s << v_i << " >= " << half; else s << "2*" << v_i << " >= " << negation; @@ -6692,7 +6692,7 @@ IO_Operators::operator<<(std::ostream& s, const Octagonal_Shape<T>& x) { s << ", "; // If the value bound can NOT be divided by 2 exactly, // then we output the constraint `2*v_i <= bound'. - if (div_2exp_assign_r(half, x_ii_i, 1, ROUND_UP) == V_EQ) + if (div_2exp_assign_r(half, x_ii_i, 1, ROUND_UP | ROUND_STRICT_RELATION) == V_EQ) s << v_i << " <= " << half; else s << "2*" << v_i << " <= " << x_ii_i;