[PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Changed behavior of the function operator<< and operator<< about second

[Alberto Gioia]

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

Author: Alberto Gioia <alberto.gioia1 at studenti.unipr.it>
Date:   Mon Sep 19 12:33:02 2011 +0200

Changed behavior of the function operator<< and operator<< about second
operand equal to 0 and eliminated case equal to 1.

---

 src/Linear_Form.templates.hh |   14 ++------------
 1 files changed, 2 insertions(+), 12 deletions(-)

diff --git a/src/Linear_Form.templates.hh b/src/Linear_Form.templates.hh
index 15fd3b3..b7f8764 100644
--- a/src/Linear_Form.templates.hh
+++ b/src/Linear_Form.templates.hh
@@ -431,15 +431,10 @@ template <typename C>
 Linear_Form<C>&
 operator<<(Linear_Form<C>& f, const C& n) {
   C zero(0);
-  C one(1);
 
   dimension_type f_size = f.size();
 
-  if (n == zero) {
-    f = Linear_Form<C>(zero);
-    return f;
-  }
-  else if (n == one)
+  if (n == zero)
     return f;
   else if (f >= zero || f < zero) {
     for (dimension_type i = f_size; i-- > 0; )
@@ -456,15 +451,10 @@ template <typename C>
 Linear_Form<C>&
 operator>>(Linear_Form<C>& f, const C& n) {
   C zero(0);
-  C one(1);
 
   dimension_type f_size = f.size();
 
-  if (n == zero) {
-    f = Linear_Form<C>(zero);
-    return f;
-  }
-  if (n == one)
+  if (n == zero)
     return f;
   else if (f >= zero || f < zero) {
     for (dimension_type i = f_size; i-- > 0; )