Number Struct Reference

General header to include when using infinite length numbers. More...

#include <bignumbers.h>

Data Fields
void *	repr

---

Detailed Description

General header to include when using infinite length numbers.

Author:

Todo:

: Missing author

This file contains the methods which NuSMV's infinite length API supports

Todo:

Missing synopsis

Todo:

Missing description

Represents a infinite lenght / infinite precsion number to be used in NuSMV

---

Field Documentation

void* Number::repr

---

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

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