Adding += and *= to Rational.

diff --git a/src/util/rational.h b/src/util/rational.h
index 5e187de7f5b47a8a4eb85104111deb9a7576ab26..81e0f7fbd9ea0eb745188e8367d17fd037ae98d9 100644 (file)
--- a/src/util/rational.h
+++ b/src/util/rational.h
@@ -203,10 +203,11 @@ public:
   }
 
 
+  
+
   Rational operator+(const Rational& y) const{
     return Rational( d_value + y.d_value );
   }
-
   Rational operator-(const Rational& y) const {
     return Rational( d_value - y.d_value );
   }
@@ -218,6 +219,16 @@ public:
     return Rational( d_value / y.d_value );
   }
 
+  Rational& operator+=(const Rational& y){
+    d_value += y.d_value;
+    return (*this);
+  }
+
+  Rational& operator*=(const Rational& y){
+    d_value *= y.d_value;
+    return (*this);
+  }
+
   /** Returns a string representing the rational in the given base. */
   std::string toString(int base = 10) const {
     return d_value.get_str(base);