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 98 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 105 of file rational.cpp.