hack Union Reference

This is a hack for when CUDD_VALUE_TYPE is double. More...

Data Fields

CUDD_VALUE_TYPE value
unsigned int bits [2]

Detailed Description

This is a hack for when CUDD_VALUE_TYPE is double.


The documentation for this union was generated from the following file:
 All Data Structures Files Functions Variables Typedefs Enumerations Defines

Generated on 31 Dec 2015 for cudd by  doxygen 1.6.1