WordNumberValue_intern Struct Reference

Private interface of the class BigWordNumber. More...

#include <BigWordNumber_private.h>

Data Fields
Number	dat
int	width

---

Detailed Description

Private interface of the class BigWordNumber.

Author:

Todo:

: Missing author

The private integeface contains the initialisation and deinitialisation of the class BigWordNumber, i.e. the memory manager of the class.

WordNumberValue_intern struct

---

Field Documentation

Number WordNumberValue_intern::dat

int WordNumberValue_intern::width

---

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

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