CVC3::Unsigned Class Reference

#include <rational.h>

List of all members.

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

  Prefix increment.
  

• Unsigned operator++ (int)

  Postfix increment.
  

• const Unsigned & operator-- ()

  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

Referenced by CVC3::ExprClosure::computeHash().

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:

• rational.h