cprover
Loading...
Searching...
No Matches
rational.h File Reference
#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 98 of file rational.cpp.

◆ operator*()

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

Definition at line 116 of file rational.h.

◆ operator+()

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

Definition at line 96 of file rational.h.

◆ operator-() [1/2]

rationalt operator- ( const rationalt & a)
inline

Definition at line 110 of file rational.h.

◆ operator-() [2/2]

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

Definition at line 103 of file rational.h.

◆ operator/()

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

Definition at line 123 of file rational.h.

◆ operator<<()

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

Definition at line 105 of file rational.cpp.