CVC3
2.4.1
|
#include <rational.h>
Definition at line 203 of file rational.h.
CVC3::Unsigned::Unsigned | ( | const Impl & | t | ) | [private] |
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 |
||
) |
std::string CVC3::Unsigned::toString | ( | int | base = 10 | ) | const |
size_t CVC3::Unsigned::hash | ( | ) | const |
Referenced by CVC3::ExprClosure::computeHash().
const Unsigned& CVC3::Unsigned::operator++ | ( | ) | [inline] |
Prefix increment.
Definition at line 253 of file rational.h.
Unsigned CVC3::Unsigned::operator++ | ( | int | ) | [inline] |
Postfix increment.
Definition at line 255 of file rational.h.
const Unsigned& CVC3::Unsigned::operator-- | ( | ) | [inline] |
Prefix decrement.
Definition at line 257 of file rational.h.
Unsigned CVC3::Unsigned::operator-- | ( | int | ) | [inline] |
Postfix decrement.
Definition at line 259 of file rational.h.
unsigned long CVC3::Unsigned::getUnsigned | ( | ) | const |
void CVC3::Unsigned::print | ( | ) | const |
friend class Rational::Impl [friend] |
Definition at line 205 of file rational.h.
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] |
Definition at line 206 of file rational.h.