CVC3
Public Member Functions | Private Member Functions | Private Attributes | Friends | List of all members
CVC3::Unsigned Class Reference

#include <rational.h>

Collaboration diagram for CVC3::Unsigned:
Collaboration graph

Public Member Functions

 Unsigned ()
 
 Unsigned (const Unsigned &n)
 
 Unsigned (int n)
 
 Unsigned (unsigned n)
 
 Unsigned (const char *n, int base=10)
 
 Unsigned (const std::string &n, int base=10)
 
 ~Unsigned ()
 
Unsignedoperator= (const Unsigned &n)
 
std::string toString (int base=10) const
 
size_t hash () const
 
Unsignedoperator+= (const Unsigned &n2)
 
Unsignedoperator-= (const Unsigned &n2)
 
Unsignedoperator*= (const Unsigned &n2)
 
Unsignedoperator/= (const Unsigned &n2)
 
const Unsignedoperator++ ()
 Prefix increment.
 
Unsigned operator++ (int)
 Postfix increment.
 
const Unsignedoperator-- ()
 Prefix decrement.
 
Unsigned operator-- (int)
 Postfix decrement.
 
unsigned long getUnsigned () const
 
void print () const
 

Private Member Functions

 Unsigned (const Impl &t)
 

Private Attributes

Impl * d_n
 

Friends

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.
 
CVC_DLL Unsigned intRoot (const Unsigned &base, unsigned long int n)
 nth root: return 0 if no exact answer (base should be nonzero)
 

Detailed Description

Definition at line 203 of file rational.h.

Constructor & Destructor Documentation

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 ( )

Member Function Documentation

Unsigned& CVC3::Unsigned::operator= ( const Unsigned n)
std::string CVC3::Unsigned::toString ( int  base = 10) const
size_t CVC3::Unsigned::hash ( ) const
Unsigned& CVC3::Unsigned::operator+= ( const Unsigned n2)
Unsigned& CVC3::Unsigned::operator-= ( const Unsigned n2)
Unsigned& CVC3::Unsigned::operator*= ( const Unsigned n2)
Unsigned& CVC3::Unsigned::operator/= ( const Unsigned n2)
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

Friends And Related Function Documentation

friend class Rational::Impl
friend

Definition at line 205 of file rational.h.

CVC_DLL bool operator== ( const Unsigned n1,
const Unsigned n2 
)
friend
CVC_DLL bool operator< ( const Unsigned n1,
const Unsigned n2 
)
friend
CVC_DLL bool operator<= ( const Unsigned n1,
const Unsigned n2 
)
friend
CVC_DLL bool operator> ( const Unsigned n1,
const Unsigned n2 
)
friend
CVC_DLL bool operator>= ( const Unsigned n1,
const Unsigned n2 
)
friend
CVC_DLL bool operator!= ( const Unsigned n1,
const Unsigned n2 
)
friend
CVC_DLL Unsigned operator+ ( const Unsigned n1,
const Unsigned n2 
)
friend
CVC_DLL Unsigned operator- ( const Unsigned n1,
const Unsigned n2 
)
friend
CVC_DLL Unsigned operator* ( const Unsigned n1,
const Unsigned n2 
)
friend
CVC_DLL Unsigned operator/ ( const Unsigned n1,
const Unsigned n2 
)
friend
CVC_DLL Unsigned operator% ( const Unsigned n1,
const Unsigned n2 
)
friend
CVC_DLL Unsigned operator<< ( const Unsigned n1,
unsigned  n2 
)
friend
CVC_DLL Unsigned operator& ( const Unsigned n1,
const Unsigned n2 
)
friend
std::ostream& operator<< ( std::ostream &  os,
const Unsigned n 
)
friend
CVC_DLL Unsigned gcd ( const Unsigned x,
const Unsigned y 
)
friend
CVC_DLL Unsigned gcd ( const std::vector< Unsigned > &  v)
friend
CVC_DLL Unsigned lcm ( const Unsigned x,
const Unsigned y 
)
friend
CVC_DLL Unsigned lcm ( const std::vector< Unsigned > &  v)
friend
CVC_DLL Unsigned mod ( const Unsigned x,
const Unsigned y 
)
friend

Compute non-negative remainder for integer x,y.

CVC_DLL Unsigned intRoot ( const Unsigned base,
unsigned long int  n 
)
friend

nth root: return 0 if no exact answer (base should be nonzero)

Member Data Documentation

Impl* CVC3::Unsigned::d_n
private

Definition at line 206 of file rational.h.


The documentation for this class was generated from the following file: