|
CBMC
|
This is the complete list of members for rationalt, including all inherited members.
| denominator | rationalt | protected |
| get_denominator() const | rationalt | inline |
| get_numerator() const | rationalt | inline |
| invert() | rationalt | |
| is_negative() const | rationalt | inline |
| is_one() const | rationalt | inline |
| is_zero() const | rationalt | inline |
| normalize() | rationalt | protected |
| numerator | rationalt | protected |
| operator!=(const rationalt &n) const | rationalt | inline |
| operator*=(const rationalt &n) | rationalt | |
| operator+=(const rationalt &n) | rationalt | |
| operator-() | rationalt | |
| operator-=(const rationalt &n) | rationalt | |
| operator/=(const rationalt &n) | rationalt | |
| operator<(const rationalt &n) const | rationalt | inline |
| operator<=(const rationalt &n) const | rationalt | inline |
| operator==(const rationalt &n) const | rationalt | inline |
| operator>(const rationalt &n) const | rationalt | inline |
| operator>=(const rationalt &n) const | rationalt | inline |
| rationalt() | rationalt | inline |
| rationalt(const mp_integer &i) | rationalt | inlineexplicit |
| rationalt(int i) | rationalt | inlineexplicit |
| same_denominator(rationalt &n) | rationalt | protected |