[PPL-devel] [GIT] ppl/ppl(master): Fixed the printing of equality constraints.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at 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.