Module: ppl/ppl Branch: master Commit: a04daee5e4dcef68794ef5be1d5c412d29803a09 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a04daee5e4dce...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Apr 21 18:54:32 2010 +0200
Fixed the printing of equality constraints.
---
src/BD_Shape.templates.hh | 10 +++++----- src/Octagonal_Shape.templates.hh | 16 ++++++++-------- 2 files changed, 13 insertions(+), 13 deletions(-)
diff --git a/src/BD_Shape.templates.hh b/src/BD_Shape.templates.hh index 02eec79..bbb5e1b 100644 --- a/src/BD_Shape.templates.hh +++ b/src/BD_Shape.templates.hh @@ -5311,7 +5311,7 @@ BD_Shape<T>::generalized_affine_image(const Variable var, "*this is a BD_Shape");
if (relsym == EQUAL) { - // The relation symbol is "==": + // The relation symbol is "=": // this is just an affine image computation. affine_image(var, expr, denominator); return; @@ -5893,7 +5893,7 @@ BD_Shape<T>::generalized_affine_preimage(const Variable var, "*this is a BD_Shape");
if (relsym == EQUAL) { - // The relation symbol is "==": + // The relation symbol is "=": // this is just an affine preimage computation. affine_preimage(var, expr, denominator); return; @@ -6432,7 +6432,7 @@ IO_Operators::operator<<(std::ostream& s, const BD_Shape<T>& c) { if (i == 0) { // We have got a equality constraint with one variable. s << Variable(j - 1); - s << " == " << c_i_j; + s << " = " << c_i_j; } else { // We have got a equality constraint with two variables. @@ -6440,13 +6440,13 @@ IO_Operators::operator<<(std::ostream& s, const BD_Shape<T>& c) { s << Variable(j - 1); s << " - "; s << Variable(i - 1); - s << " == " << c_i_j; + s << " = " << c_i_j; } else { s << Variable(i - 1); s << " - "; s << Variable(j - 1); - s << " == " << c_j_i; + s << " = " << c_j_i; } } } diff --git a/src/Octagonal_Shape.templates.hh b/src/Octagonal_Shape.templates.hh index 7dfb781..4b76797 100644 --- a/src/Octagonal_Shape.templates.hh +++ b/src/Octagonal_Shape.templates.hh @@ -5718,7 +5718,7 @@ Octagonal_Shape<T> "*this is an Octagonal_Shape");
if (relsym == EQUAL) { - // The relation symbol is "==": + // The relation symbol is "=": // this is just an affine image computation. affine_image(var, expr, denominator); return; @@ -6686,7 +6686,7 @@ Octagonal_Shape<T> "*this is an Octagonal_Shape");
if (relsym == EQUAL) { - // The relation symbol is "==": + // The relation symbol is "=": // this is just an affine preimage computation. affine_preimage(var, expr, denominator); return; @@ -7699,11 +7699,11 @@ IO_Operators::operator<<(std::ostream& s, const Octagonal_Shape<T>& x) { else s << ", "; // If the value bound can NOT be divided by 2 exactly, - // then we output the constraint `2*v_i == bound'. + // then we output the constraint `2*v_i = bound'. if (div_2exp_assign_r(half, x_ii_i, 1, ROUND_UP | ROUND_STRICT_RELATION) == V_EQ) - s << v_i << " == " << half; + s << v_i << " = " << half; else - s << "2*" << v_i << " == " << x_ii_i; + s << "2*" << v_i << " = " << x_ii_i; } else { // We will print unary non-strict inequalities, if any. @@ -7759,9 +7759,9 @@ IO_Operators::operator<<(std::ostream& s, const Octagonal_Shape<T>& x) { else s << ", "; if (sgn(x_i_j) >= 0) - s << v_j << " - " << v_i << " == " << x_i_j; + s << v_j << " - " << v_i << " = " << x_i_j; else - s << v_i << " - " << v_j << " == " << x_ii_jj; + s << v_i << " - " << v_j << " = " << x_ii_jj; } else { // We will print non-strict inequalities, if any. @@ -7801,7 +7801,7 @@ IO_Operators::operator<<(std::ostream& s, const Octagonal_Shape<T>& x) { first = false; else s << ", "; - s << v_j << " + " << v_i << " == " << x_ii_j; + s << v_j << " + " << v_i << " = " << x_ii_j; } else { // We will print non-strict inequalities, if any.