cprover
|
#include <rational.h>
Public Member Functions | |
rationalt () | |
rationalt (const mp_integer &i) | |
rationalt (int i) | |
rationalt & | operator+= (const rationalt &n) |
rationalt & | operator-= (const rationalt &n) |
rationalt & | operator- () |
rationalt & | operator*= (const rationalt &n) |
rationalt & | operator/= (const rationalt &n) |
bool | operator== (const rationalt &n) const |
bool | operator!= (const rationalt &n) const |
bool | operator< (const rationalt &n) const |
bool | operator<= (const rationalt &n) const |
bool | operator>= (const rationalt &n) const |
bool | operator> (const rationalt &n) const |
bool | is_zero () const |
bool | is_one () const |
bool | is_negative () const |
void | invert () |
const mp_integer & | get_numerator () const |
const mp_integer & | get_denominator () const |
Protected Member Functions | |
void | normalize () |
void | same_denominator (rationalt &n) |
Protected Attributes | |
mp_integer | numerator |
mp_integer | denominator |
Definition at line 20 of file rational.h.
|
inline |
Definition at line 31 of file rational.h.
|
inlineexplicit |
Definition at line 32 of file rational.h.
|
inlineexplicit |
Definition at line 33 of file rational.h.
|
inline |
Definition at line 95 of file rational.h.
References denominator.
Referenced by from_rational(), and operator<<().
|
inline |
Definition at line 90 of file rational.h.
References numerator.
Referenced by from_rational(), and operator<<().
void rationalt::invert | ( | ) |
Definition at line 91 of file rational.cpp.
References denominator, and numerator.
Referenced by inverse().
|
inline |
Definition at line 85 of file rational.h.
|
inline |
Definition at line 82 of file rational.h.
References denominator, is_zero(), and numerator.
Referenced by exprt::is_one(), and simplify_exprt::simplify_div().
|
inline |
Definition at line 79 of file rational.h.
References numerator.
Referenced by is_negative(), is_one(), exprt::is_zero(), and simplify_exprt::simplify_div().
|
protected |
Definition at line 58 of file rational.cpp.
References denominator, and numerator.
Referenced by operator*=(), operator+=(), operator-=(), and operator/=().
|
inline |
Definition at line 48 of file rational.h.
References numerator.
Definition at line 41 of file rational.cpp.
References denominator, normalize(), and numerator.
Definition at line 17 of file rational.cpp.
References normalize(), numerator, and same_denominator().
rationalt & rationalt::operator- | ( | ) |
Definition at line 35 of file rational.cpp.
References numerator.
Definition at line 26 of file rational.cpp.
References normalize(), numerator, and same_denominator().
Definition at line 49 of file rational.cpp.
References denominator, normalize(), and numerator.
|
inline |
Definition at line 55 of file rational.h.
References numerator.
|
inline |
Definition at line 62 of file rational.h.
References numerator.
|
inline |
Definition at line 41 of file rational.h.
References numerator.
|
inline |
Definition at line 74 of file rational.h.
|
inline |
Definition at line 69 of file rational.h.
|
protected |
Definition at line 78 of file rational.cpp.
References denominator, and numerator.
Referenced by operator+=(), and operator-=().
|
protected |
Definition at line 24 of file rational.h.
Referenced by get_denominator(), invert(), is_one(), normalize(), operator*=(), operator/=(), and same_denominator().
|
protected |
Definition at line 23 of file rational.h.
Referenced by get_numerator(), invert(), is_negative(), is_one(), is_zero(), normalize(), operator!=(), operator*=(), operator+=(), operator-(), operator-=(), operator/=(), operator<(), operator<=(), operator==(), and same_denominator().