diff options
author | Tim King <taking@cs.nyu.edu> | 2010-06-04 19:32:26 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2010-06-04 19:32:26 +0000 |
commit | 419c9bff0daabe30b012bd9a4de0757b0eac7609 (patch) | |
tree | c564c08b7af9e1ab9c92dc3498859f6c8c80c9b1 /src/theory/arith | |
parent | cdfcddfb4afe401ea5be1214fda5020a6b59ae5d (diff) |
Changed several arguments to const references.
Diffstat (limited to 'src/theory/arith')
-rw-r--r-- | src/theory/arith/delta_rational.h | 10 |
1 files changed, 5 insertions, 5 deletions
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); } |