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 |