10 #ifndef CPROVER_UTIL_RATIONAL_H 11 #define CPROVER_UTIL_RATIONAL_H 44 r1.same_denominator(r2);
51 r1.same_denominator(r2);
58 r1.same_denominator(r2);
65 r1.same_denominator(r2);
139 #endif // CPROVER_UTIL_RATIONAL_H std::ostream & operator<<(std::ostream &out, const rationalt &a)
rationalt & operator-=(const rationalt &n)
bool operator>=(const rationalt &n) const
rationalt operator*(const rationalt &a, const rationalt &b)
void same_denominator(rationalt &n)
rationalt(const mp_integer &i)
const mp_integer & get_numerator() const
rationalt operator-(const rationalt &a, const rationalt &b)
A constant literal expression.
bool operator<(const rationalt &n) const
bool operator==(const rationalt &n) const
rationalt & operator+=(const rationalt &n)
rationalt & operator*=(const rationalt &n)
rationalt operator+(const rationalt &a, const rationalt &b)
rationalt operator/(const rationalt &a, const rationalt &b)
bool operator>(const rationalt &n) const
const mp_integer & get_denominator() const
rationalt & operator/=(const rationalt &n)
bool operator!=(const rationalt &n) const
bool operator<=(const rationalt &n) const
rationalt inverse(const rationalt &n)