#include <rational.h>
|
class | Rational::Impl |
|
CVC_DLL bool | operator== (const Unsigned &n1, const Unsigned &n2) |
|
CVC_DLL bool | operator< (const Unsigned &n1, const Unsigned &n2) |
|
CVC_DLL bool | operator<= (const Unsigned &n1, const Unsigned &n2) |
|
CVC_DLL bool | operator> (const Unsigned &n1, const Unsigned &n2) |
|
CVC_DLL bool | operator>= (const Unsigned &n1, const Unsigned &n2) |
|
CVC_DLL bool | operator!= (const Unsigned &n1, const Unsigned &n2) |
|
CVC_DLL Unsigned | operator+ (const Unsigned &n1, const Unsigned &n2) |
|
CVC_DLL Unsigned | operator- (const Unsigned &n1, const Unsigned &n2) |
|
CVC_DLL Unsigned | operator* (const Unsigned &n1, const Unsigned &n2) |
|
CVC_DLL Unsigned | operator/ (const Unsigned &n1, const Unsigned &n2) |
|
CVC_DLL Unsigned | operator% (const Unsigned &n1, const Unsigned &n2) |
|
CVC_DLL Unsigned | operator<< (const Unsigned &n1, unsigned n2) |
|
CVC_DLL Unsigned | operator& (const Unsigned &n1, const Unsigned &n2) |
|
std::ostream & | operator<< (std::ostream &os, const Unsigned &n) |
|
CVC_DLL Unsigned | gcd (const Unsigned &x, const Unsigned &y) |
|
CVC_DLL Unsigned | gcd (const std::vector< Unsigned > &v) |
|
CVC_DLL Unsigned | lcm (const Unsigned &x, const Unsigned &y) |
|
CVC_DLL Unsigned | lcm (const std::vector< Unsigned > &v) |
|
CVC_DLL Unsigned | mod (const Unsigned &x, const Unsigned &y) |
| Compute non-negative remainder for integer x,y. More...
|
|
CVC_DLL Unsigned | intRoot (const Unsigned &base, unsigned long int n) |
| nth root: return 0 if no exact answer (base should be nonzero) More...
|
|
Definition at line 203 of file rational.h.
CVC3::Unsigned::Unsigned |
( |
const Impl & |
t) | |
|
|
private |
CVC3::Unsigned::Unsigned |
( |
) | |
|
CVC3::Unsigned::Unsigned |
( |
const Unsigned & |
n) | |
|
CVC3::Unsigned::Unsigned |
( |
int |
n) | |
|
CVC3::Unsigned::Unsigned |
( |
unsigned |
n) | |
|
CVC3::Unsigned::Unsigned |
( |
const char * |
n, |
|
|
int |
base = 10 |
|
) |
| |
CVC3::Unsigned::Unsigned |
( |
const std::string & |
n, |
|
|
int |
base = 10 |
|
) |
| |
CVC3::Unsigned::~Unsigned |
( |
) | |
|
std::string CVC3::Unsigned::toString |
( |
int |
base = 10 ) | |
const |
size_t CVC3::Unsigned::hash |
( |
) | |
const |
const Unsigned& CVC3::Unsigned::operator++ |
( |
) | |
|
|
inline |
Unsigned CVC3::Unsigned::operator++ |
( |
int |
) | |
|
|
inline |
const Unsigned& CVC3::Unsigned::operator-- |
( |
) | |
|
|
inline |
Unsigned CVC3::Unsigned::operator-- |
( |
int |
) | |
|
|
inline |
unsigned long CVC3::Unsigned::getUnsigned |
( |
) | |
const |
void CVC3::Unsigned::print |
( |
) | |
const |
friend class Rational::Impl |
|
friend |
std::ostream& operator<< |
( |
std::ostream & |
os, |
|
|
const Unsigned & |
n |
|
) |
| |
|
friend |
Compute non-negative remainder for integer x,y.
nth root: return 0 if no exact answer (base should be nonzero)
Impl* CVC3::Unsigned::d_n |
|
private |
The documentation for this class was generated from the following file: