CBMC
rationalt Member List

This is the complete list of members for rationalt, including all inherited members.

denominatorrationaltprotected
get_denominator() constrationaltinline
get_numerator() constrationaltinline
invert()rationalt
is_negative() constrationaltinline
is_one() constrationaltinline
is_zero() constrationaltinline
normalize()rationaltprotected
numeratorrationaltprotected
operator!=(const rationalt &n) constrationaltinline
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) constrationaltinline
operator<=(const rationalt &n) constrationaltinline
operator==(const rationalt &n) constrationaltinline
operator>(const rationalt &n) constrationaltinline
operator>=(const rationalt &n) constrationaltinline
rationalt()rationaltinline
rationalt(const mp_integer &i)rationaltinlineexplicit
rationalt(int i)rationaltinlineexplicit
same_denominator(rationalt &n)rationaltprotected