CVC3
Public Member Functions | Private Member Functions | Private Attributes | Friends

CVC3::Unsigned Class Reference

#include <rational.h>

List of all members.

Public Member Functions

Private Member Functions

Private Attributes

Friends


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: