|
CBMC
|
Include dependency graph for rational.cpp: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 99 of file rational.cpp.
| std::ostream& operator<< | ( | std::ostream & | out, |
| const rationalt & | a | ||
| ) |
Definition at line 106 of file rational.cpp.