CBMC
|
Rational Numbers. More...
Go to the source code of this file.
Functions | |
rationalt | inverse (const rationalt &n) |
std::ostream & | operator<< (std::ostream &out, const rationalt &a) |
Rational Numbers.
Definition in file rational.cpp.
Definition at line 98 of file rational.cpp.
std::ostream& operator<< | ( | std::ostream & | out, |
const rationalt & | a | ||
) |
Definition at line 105 of file rational.cpp.