mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-07-06 07:16:13 +00:00
Code Activity

fix

Browse source
This commit is contained in:
Nuno Lopes 2026-02-15 16:23:59 +00:00
parent 8ce362abda
commit e9556c498b
1 changed files with 24 additions and 24 deletions
Download patch file Download diff file Expand all files Collapse all files

48
src/util/rational.h
View file

@ -172,7 +172,7 @@ public:
rational & operator=(bool) = delete; rational & operator=(bool) = delete;
rational operator*(bool r1) const = delete; rational operator*(bool r1) const = delete;
rational & operator=(int v) { rational & operator=(int64_t v) {
m().set(m_val, v); m().set(m_val, v);
return *this; return *this;
} }
@ -193,7 +193,7 @@ public:
return *this; return *this;
} }
rational & operator+=(int r) { rational & operator+=(int64_t r) {
(*this) += rational(r); (*this) += rational(r);
return *this; return *this;
} }
@ -203,7 +203,7 @@ public:
return *this; return *this;
} }
rational& operator-=(int r) { rational& operator-=(int64_t r) {
(*this) -= rational(r); (*this) -= rational(r);
return *this; return *this;
} }
@ -223,15 +223,15 @@ public:
return *this; return *this;
} }
rational & operator%=(int v) { rational & operator%=(int64_t v) {
return *this %= rational(v); return *this %= rational(v);
} }
rational & operator/=(int v) { rational & operator/=(int64_t v) {
return *this /= rational(v); return *this /= rational(v);
} }
rational & operator*=(int v) { rational & operator*=(int64_t v) {
return *this *= rational(v); return *this *= rational(v);
} }
@ -561,11 +561,11 @@ inline bool operator>(rational const & r1, rational const & r2) {
return operator<(r2, r1); return operator<(r2, r1);
} }
inline bool operator<(int r1, rational const & r2) { inline bool operator<(int64_t r1, rational const & r2) {
return rational(r1) < r2; return rational(r1) < r2;
} }
inline bool operator<(rational const & r1, int r2) { inline bool operator<(rational const & r1, int64_t r2) {
return r1 < rational(r2); return r1 < rational(r2);
} }
@ -577,35 +577,35 @@ inline bool operator>=(rational const & r1, rational const & r2) {
return !operator<(r1, r2); return !operator<(r1, r2);
} }
inline bool operator>(rational const & a, int b) { inline bool operator>(rational const & a, int64_t b) {
return a > rational(b); return a > rational(b);
} }
inline bool operator>(int a, rational const & b) { inline bool operator>(int64_t a, rational const & b) {
return rational(a) > b; return rational(a) > b;
} }
inline bool operator>=(rational const& a, int b) { inline bool operator>=(rational const& a, int64_t b) {
return a >= rational(b); return a >= rational(b);
} }
inline bool operator>=(int a, rational const& b) { inline bool operator>=(int64_t a, rational const& b) {
return rational(a) >= b; return rational(a) >= b;
} }
inline bool operator<=(rational const& a, int b) { inline bool operator<=(rational const& a, int64_t b) {
return a <= rational(b); return a <= rational(b);
} }
inline bool operator<=(int a, rational const& b) { inline bool operator<=(int64_t a, rational const& b) {
return rational(a) <= b; return rational(a) <= b;
} }
inline bool operator!=(rational const& a, int b) { inline bool operator!=(rational const& a, int64_t b) {
return !(a == rational(b)); return !(a == rational(b));
} }
inline bool operator==(rational const & a, int b) { inline bool operator==(rational const & a, int64_t b) {
return a == rational(b); return a == rational(b);
} }
@ -613,11 +613,11 @@ inline rational operator+(rational const & r1, rational const & r2) {
return rational(r1) += r2; return rational(r1) += r2;
} }
inline rational operator+(int r1, rational const & r2) { inline rational operator+(int64_t r1, rational const & r2) {
return rational(r1) + r2; return rational(r1) + r2;
} }
inline rational operator+(rational const & r1, int r2) { inline rational operator+(rational const & r1, int64_t r2) {
return r1 + rational(r2); return r1 + rational(r2);
} }
@ -626,11 +626,11 @@ inline rational operator-(rational const & r1, rational const & r2) {
return rational(r1) -= r2; return rational(r1) -= r2;
} }
inline rational operator-(rational const & r1, int r2) { inline rational operator-(rational const & r1, int64_t r2) {
return r1 - rational(r2); return r1 - rational(r2);
} }
inline rational operator-(int r1, rational const & r2) { inline rational operator-(int64_t r1, rational const & r2) {
return rational(r1) - r2; return rational(r1) - r2;
} }
@ -648,7 +648,7 @@ inline rational operator*(rational const & r1, bool r2) {
UNREACHABLE(); UNREACHABLE();
return r1 * rational(r2); return r1 * rational(r2);
} }
inline rational operator*(rational const & r1, int r2) { inline rational operator*(rational const & r1, int64_t r2) {
return r1 * rational(r2); return r1 * rational(r2);
} }
inline rational operator*(bool r1, rational const & r2) { inline rational operator*(bool r1, rational const & r2) {
@ -656,7 +656,7 @@ inline rational operator*(bool r1, rational const & r2) {
return rational(r1) * r2; return rational(r1) * r2;
} }
inline rational operator*(int r1, rational const & r2) { inline rational operator*(int64_t r1, rational const & r2) {
return rational(r1) * r2; return rational(r1) * r2;
} }
@ -664,7 +664,7 @@ inline rational operator/(rational const & r1, rational const & r2) {
return rational(r1) /= r2; return rational(r1) /= r2;
} }
inline rational operator/(rational const & r1, int r2) { inline rational operator/(rational const & r1, int64_t r2) {
return r1 / rational(r2); return r1 / rational(r2);
} }
@ -673,7 +673,7 @@ inline rational operator/(rational const & r1, bool r2) {
return r1 / rational(r2); return r1 / rational(r2);
} }
inline rational operator/(int r1, rational const & r2) { inline rational operator/(int64_t r1, rational const & r2) {
return rational(r1) / r2; return rational(r1) / r2;
} }