10 #ifndef CPROVER_UTIL_RATIONAL_H
11 #define CPROVER_UTIL_RATIONAL_H
39 r1.same_denominator(r2);
46 r1.same_denominator(r2);
53 r1.same_denominator(r2);
60 r1.same_denominator(r2);
rationalt & operator/=(const rationalt &n)
bool operator>=(const rationalt &n) const
rationalt & operator+=(const rationalt &n)
const mp_integer & get_denominator() const
bool operator<=(const rationalt &n) const
void same_denominator(rationalt &n)
const mp_integer & get_numerator() const
rationalt & operator-=(const rationalt &n)
rationalt & operator*=(const rationalt &n)
bool operator<(const rationalt &n) const
bool operator==(const rationalt &n) const
bool operator!=(const rationalt &n) const
bool operator>(const rationalt &n) const
rationalt(const mp_integer &i)
rationalt operator*(const rationalt &a, const rationalt &b)
rationalt operator-(const rationalt &a, const rationalt &b)
rationalt operator/(const rationalt &a, const rationalt &b)
rationalt inverse(const rationalt &n)
rationalt operator+(const rationalt &a, const rationalt &b)
std::ostream & operator<<(std::ostream &out, const rationalt &a)