QNumber Struct Reference

A big number can either be a GMP big number or still be a long. More...

#include <numbersInt.h>

Data Fields
union {
Gmp *   gmp
long   num
}	data
long	den
Related Functions
(Note that these are not member functions.)
QNumber *	QNumber_copy_to_heap (QNumber *self)
void	QNumber_operator_self_div (QNumber *self, const QNumber *r)
void	QNumber_operator_self_minus (QNumber *self, const QNumber *r)
void	QNumber_operator_self_minus_big (QNumber *self, const QNumber *r)
void	QNumber_operator_self_mul (QNumber *self, const QNumber *r)
void	QNumber_operator_self_mul_big (QNumber *self, const QNumber *r)
void	QNumber_operator_self_plus (QNumber *self, const QNumber *r)
void	QNumber_operator_self_plus_big (QNumber *self, const QNumber *r)

---

Detailed Description

A big number can either be a GMP big number or still be a long.

A big number can either be a GMP big number or still be a long

---

Friends And Related Function Documentation

QNumber * QNumber_copy_to_heap

(

QNumber *

self

)

[related]

Todo:

void QNumber_operator_self_div	(	QNumber *	self,
		const QNumber *	r
	)			[related]

Todo:

void QNumber_operator_self_minus	(	QNumber *	self,
		const QNumber *	r
	)			[related]

Todo:

void QNumber_operator_self_minus_big	(	QNumber *	self,
		const QNumber *	r
	)			[related]

Todo:

void QNumber_operator_self_mul	(	QNumber *	self,
		const QNumber *	r
	)			[related]

Todo:

void QNumber_operator_self_mul_big	(	QNumber *	self,
		const QNumber *	r
	)			[related]

Todo:

void QNumber_operator_self_plus	(	QNumber *	self,
		const QNumber *	r
	)			[related]

Todo:

void QNumber_operator_self_plus_big	(	QNumber *	self,
		const QNumber *	r
	)			[related]

Todo:

---

Field Documentation

union { ... } QNumber::data

long QNumber::den

Gmp* QNumber::gmp

long QNumber::num

---

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

• NuSMV/code/nusmv/core/utils/bignumbers/numbersInt.h