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.
Definition at line 105 of file rational.cpp.