cprover
|
Go to the source code of this file.
Classes | |
class | rationalt |
Functions | |
rationalt | operator+ (const rationalt &a, const rationalt &b) |
rationalt | operator- (const rationalt &a, const rationalt &b) |
rationalt | operator- (const rationalt &a) |
rationalt | operator* (const rationalt &a, const rationalt &b) |
rationalt | operator/ (const rationalt &a, const rationalt &b) |
std::ostream & | operator<< (std::ostream &out, const rationalt &a) |
rationalt | inverse (const rationalt &n) |
Definition at line 97 of file rational.cpp.
References rationalt::invert().
Referenced by operator/().
Definition at line 121 of file rational.h.
Definition at line 101 of file rational.h.
Definition at line 108 of file rational.h.
Definition at line 115 of file rational.h.
Definition at line 128 of file rational.h.
References inverse(), and operator<<().
std::ostream& operator<< | ( | std::ostream & | out, |
const rationalt & | a | ||
) |
Definition at line 104 of file rational.cpp.
References rationalt::get_denominator(), rationalt::get_numerator(), and integer2string().
Referenced by operator/().