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:

• cudd/cuddTable.c