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.