cudd
3.0.0
The University of Colorado Decision Diagram Package
|
IEEE double NaN struct. More...
#include <epdInt.h>
Data Fields | |
unsigned int | sign: 1 |
unsigned int | exponent: 11 |
unsigned int | quiet_bit: 1 |
unsigned int | mantissa0: 19 |
unsigned int | mantissa1: 32 |
IEEE double NaN struct.