cudd  3.0.0
The University of Colorado Decision Diagram Package
Data Structures | Macros | Typedefs
epdInt.h File Reference

Internal header for the University of Colorado extended double precision package. More...

#include "config.h"
#include "epd.h"
Include dependency graph for epdInt.h:

Go to the source code of this file.

Data Structures

struct  IeeeDoubleStruct
 IEEE double struct. More...
 
struct  IeeeNanStruct
 IEEE double NaN struct. More...
 
union  EpTypeUnion
 Different views of a double. More...
 
struct  EpDoubleStruct
 Extended precision double to keep very large value. More...
 

Macros

#define EPD_MAX_BIN   1023
 
#define EPD_MAX_DEC   308
 
#define EPD_EXP_INF   0x7ff
 

Typedefs

typedef struct IeeeDoubleStruct IeeeDouble
 
typedef struct IeeeNanStruct IeeeNan
 
typedef union EpTypeUnion EpType
 

Detailed Description

Internal header for the University of Colorado extended double precision package.

Author
In-Ho Moon