From: Tim King <taking@cs.nyu.edu>
Date: Fri, 4 Jun 2010 19:32:26 +0000 (+0000)
Subject: Changed several arguments to const references.
X-Git-Tag: cvc5-1.0.0~8996
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=419c9bff0daabe30b012bd9a4de0757b0eac7609;p=cvc5.git

Changed several arguments to const references.
---

diff --git a/src/theory/arith/delta_rational.h b/src/theory/arith/delta_rational.h
index c37c65241..60db60c1a 100644
--- a/src/theory/arith/delta_rational.h
+++ b/src/theory/arith/delta_rational.h
@@ -71,21 +71,21 @@ public:
     return *(this) + (a * negOne);
   }
 
-  bool operator==(DeltaRational& other){
+  bool operator==(const DeltaRational& other) const{
     return (k == other.k) && (c == other.c);
   }
 
-  bool operator<=(DeltaRational& other){
+  bool operator<=(const DeltaRational& other) const{
     int cmp = c.cmp(other.c);
     return (cmp < 0) || ((cmp==0)&&(k <= other.k));
   }
-  bool operator<(DeltaRational& other){
+  bool operator<(const DeltaRational& other) const{
     return (other  > *this);
   }
-  bool operator>=(DeltaRational& other){
+  bool operator>=(const DeltaRational& other) const{
     return (other <= *this);
   }
-  bool operator>(DeltaRational& other){
+  bool operator>(const DeltaRational& other) const{
     return !(*this <= other);
   }