|
CBMC
|
Rational Numbers. More...
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 98 of file rational.cpp.
Definition at line 105 of file rational.cpp.