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 17 of file rational.h.
|
inline |
Definition at line 28 of file rational.h.
|
inlineexplicit |
Definition at line 29 of file rational.h.
|
inlineexplicit |
Definition at line 30 of file rational.h.
|
inline |
Definition at line 92 of file rational.h.
References denominator.
Referenced by from_rational(), and operator<<().
|
inline |
Definition at line 87 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 82 of file rational.h.
|
inline |
Definition at line 79 of file rational.h.
References denominator, is_zero(), and numerator.
Referenced by exprt::is_one(), and simplify_exprt::simplify_div().
|
inline |
Definition at line 76 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 45 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 52 of file rational.h.
References numerator.
|
inline |
Definition at line 59 of file rational.h.
References numerator.
|
inline |
Definition at line 38 of file rational.h.
References numerator.
|
inline |
Definition at line 71 of file rational.h.
|
inline |
Definition at line 66 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 21 of file rational.h.
Referenced by get_denominator(), invert(), is_one(), normalize(), operator*=(), operator/=(), and same_denominator().
|
protected |
Definition at line 20 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().