cudd  3.0.0
The University of Colorado Decision Diagram Package
Data Fields
IeeeDoubleStruct Struct Reference

IEEE double struct. More...

#include <epdInt.h>

Data Fields

unsigned int sign: 1
 
unsigned int exponent: 11
 
unsigned int mantissa0: 20
 
unsigned int mantissa1: 32
 

Detailed Description

IEEE double struct.

The documentation for this struct was generated from the following file:
Generated on Fri Feb 19 2016 21:44:55 for cudd by   doxygen 1.8.11