Int Class Reference

#include <Int.h>

List of all members.

Public Member Functions
	Int (mpz_t *d)
	Int ()
	Int (int x)
	Int (const Int &src)
	~Int ()
Int &	operator= (const Int &other)
bool	operator== (const Int &other) const
bool	operator< (const Int &other) const
bool	operator!= (const Int &other) const
bool	operator>= (const Int &other) const
bool	operator> (const Int &other) const
bool	operator<= (const Int &other) const
Int	operator+ (const Int &other) const
Int	operator- (const Int &other) const
Int	operator* (const Int &other) const
Int	operator/ (const Int &other) const
Int	operator% (const Int &other) const
Int &	operator+= (const Int &other)
Int &	operator-= (const Int &other)
Int &	operator*= (const Int &other)
Int &	operator/= (const Int &other)
Int &	operator%= (const Int &other)
Int &	operator++ ()
Int &	operator-- ()
Int	operator- () const
Int	operator& (const Int &other) const
Int &	operator>>= (int n)
uint	hash () const
Friends
char *	toString (Int num)
int	toint (Int num)

---

Detailed Description

Definition at line 101 of file Int.h.

---

Constructor & Destructor Documentation

Int::Int

(

mpz_t *

d

)

[inline]

Definition at line 109 of file Int.h.

Int::Int

(

)

[inline]

Definition at line 111 of file Int.h.

Int::Int

(

int

x

)

[inline]

Definition at line 116 of file Int.h.

Int::Int

(

const Int &

src

)

[inline]

Definition at line 121 of file Int.h.

Int::~Int

(

)

[inline]

Definition at line 129 of file Int.h.

---

Member Function Documentation

uint Int::hash

(

)

const [inline]

Definition at line 230 of file Int.h.

bool Int::operator!=

(

const Int &

other

)

const [inline]

Definition at line 181 of file Int.h.

Int Int::operator%

(

const Int &

other

)

const [inline]

Definition at line 192 of file Int.h.

References A2.

Int& Int::operator%=

(

const Int &

other

)

[inline]

Definition at line 198 of file Int.h.

References A2.

Int Int::operator&

(

const Int &

other

)

const [inline]

Definition at line 210 of file Int.h.

References A2.

Int Int::operator*

(

const Int &

other

)

const [inline]

Definition at line 190 of file Int.h.

References A2.

Int& Int::operator*=

(

const Int &

other

)

[inline]

Definition at line 196 of file Int.h.

References A2.

Int Int::operator+

(

const Int &

other

)

const [inline]

Definition at line 188 of file Int.h.

References A2.

Int& Int::operator++

(

)

[inline]

Definition at line 199 of file Int.h.

Int& Int::operator+=

(

const Int &

other

)

[inline]

Definition at line 194 of file Int.h.

References A2.

Int Int::operator-

(

const Int &

other

)

const [inline]

Definition at line 189 of file Int.h.

References A2.

Int Int::operator-

(

)

const [inline]

Definition at line 202 of file Int.h.

Int& Int::operator--

(

)

[inline]

Definition at line 200 of file Int.h.

Int& Int::operator-=

(

const Int &

other

)

[inline]

Definition at line 195 of file Int.h.

References A2.

Int Int::operator/

(

const Int &

other

)

const [inline]

Definition at line 191 of file Int.h.

References A2.

Int& Int::operator/=

(

const Int &

other

)

[inline]

Definition at line 197 of file Int.h.

References A2.

bool Int::operator<

(

const Int &

other

)

const [inline]

Definition at line 164 of file Int.h.

References Int_MAX, and Int_MIN.

bool Int::operator<=

(

const Int &

other

)

const [inline]

Definition at line 184 of file Int.h.

Int& Int::operator=

(

const Int &

other

)

[inline]

Definition at line 136 of file Int.h.

bool Int::operator==

(

const Int &

other

)

const [inline]

Definition at line 157 of file Int.h.

bool Int::operator>

(

const Int &

other

)

const [inline]

Definition at line 183 of file Int.h.

bool Int::operator>=

(

const Int &

other

)

const [inline]

Definition at line 182 of file Int.h.

Int& Int::operator>>=

(

int

n

)

[inline]

Definition at line 211 of file Int.h.

References A1.

---

Friends And Related Function Documentation

int toint

(

Int

num

)

[friend]

Definition at line 224 of file Int.h.

char* toString

(

Int

num

)

[friend]

Definition at line 215 of file Int.h.

---

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

• Satisfiability/Solvers/Minisat/Minisat+/ADTs/Int.h