CBMC
|
#include "mp_arith.h"
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 99 of file rational.cpp.
Definition at line 116 of file rational.h.
Definition at line 96 of file rational.h.
Definition at line 110 of file rational.h.
Definition at line 103 of file rational.h.
Definition at line 123 of file rational.h.
std::ostream& operator<< | ( | std::ostream & | out, |
const rationalt & | a | ||
) |
Definition at line 106 of file rational.cpp.