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 mantissa1: 32
 
unsigned int mantissa0: 20
 
unsigned int exponent: 11
 
unsigned int sign: 1
 

Detailed Description

IEEE double struct.


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