Gmp Struct Reference

A GMP big number. More...

#include <numbersInt.h>

Data Fields
mpz_t	den
mpz_t	num

---

Detailed Description

A GMP big number.

A GMP big number

---

Field Documentation

mpz_t Gmp::den

mpz_t Gmp::num

---

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

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