cprover
rational.h File Reference
#include <cassert>
#include <vector>
#include "mp_arith.h"
Include dependency graph for rational.h:
This graph shows which files directly or indirectly include this file:

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)
 

Function Documentation

§ inverse()

rationalt inverse ( const rationalt n)

Definition at line 97 of file rational.cpp.

References rationalt::invert().

Referenced by operator/().

§ operator*()

rationalt operator* ( const rationalt a,
const rationalt b 
)
inline

Definition at line 121 of file rational.h.

§ operator+()

rationalt operator+ ( const rationalt a,
const rationalt b 
)
inline

Definition at line 101 of file rational.h.

§ operator-() [1/2]

rationalt operator- ( const rationalt a,
const rationalt b 
)
inline

Definition at line 108 of file rational.h.

§ operator-() [2/2]

rationalt operator- ( const rationalt a)
inline

Definition at line 115 of file rational.h.

§ operator/()

rationalt operator/ ( const rationalt a,
const rationalt b 
)
inline

Definition at line 128 of file rational.h.

References inverse(), and operator<<().

§ operator<<()

std::ostream& operator<< ( std::ostream &  out,
const rationalt a 
)

Definition at line 104 of file rational.cpp.

References rationalt::get_denominator(), rationalt::get_numerator(), and integer2string().

Referenced by operator/().