Go to the documentation of this file.
10 #ifndef CPROVER_UTIL_RATIONAL_H
11 #define CPROVER_UTIL_RATIONAL_H
41 r1.same_denominator(r2);
48 r1.same_denominator(r2);
55 r1.same_denominator(r2);
62 r1.same_denominator(r2);
136 #endif // CPROVER_UTIL_RATIONAL_H
rationalt operator+(const rationalt &a, const rationalt &b)
bool operator<(const rationalt &n) const
rationalt(const mp_integer &i)
bool operator!=(const rationalt &n) const
rationalt & operator+=(const rationalt &n)
std::ostream & operator<<(std::ostream &out, const rationalt &a)
bool operator<=(const rationalt &n) const
const mp_integer & get_numerator() const
rationalt & operator-=(const rationalt &n)
void same_denominator(rationalt &n)
bool operator>(const rationalt &n) const
rationalt inverse(const rationalt &n)
const mp_integer & get_denominator() const
rationalt & operator*=(const rationalt &n)
rationalt operator-(const rationalt &a, const rationalt &b)
bool operator==(const rationalt &n) const
rationalt operator*(const rationalt &a, const rationalt &b)
rationalt operator/(const rationalt &a, const rationalt &b)
rationalt & operator/=(const rationalt &n)
A constant literal expression.
bool operator>=(const rationalt &n) const