|
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 15 of file rational.h.
|
inline |
Definition at line 26 of file rational.h.
|
inlineexplicit |
Definition at line 27 of file rational.h.
|
inlineexplicit |
Definition at line 28 of file rational.h.
|
inline |
Definition at line 90 of file rational.h.
|
inline |
Definition at line 85 of file rational.h.
| void rationalt::invert | ( | ) |
Definition at line 92 of file rational.cpp.
|
inline |
Definition at line 80 of file rational.h.
|
inline |
Definition at line 77 of file rational.h.
|
inline |
Definition at line 74 of file rational.h.
|
protected |
Definition at line 59 of file rational.cpp.
|
inline |
Definition at line 43 of file rational.h.
Definition at line 42 of file rational.cpp.
Definition at line 18 of file rational.cpp.
| rationalt & rationalt::operator- | ( | ) |
Definition at line 36 of file rational.cpp.
Definition at line 27 of file rational.cpp.
Definition at line 50 of file rational.cpp.
|
inline |
Definition at line 50 of file rational.h.
|
inline |
Definition at line 57 of file rational.h.
|
inline |
Definition at line 36 of file rational.h.
|
inline |
Definition at line 69 of file rational.h.
|
inline |
Definition at line 64 of file rational.h.
|
protected |
Definition at line 79 of file rational.cpp.
|
protected |
Definition at line 19 of file rational.h.
|
protected |
Definition at line 18 of file rational.h.