|
cudd
3.0.0
The University of Colorado Decision Diagram Package
|
Local hash table item. More...
#include <cuddInt.h>

Data Fields | |
| struct DdHashItem * | next |
| ptrint | count |
| DdNode * | value |
| DdNode * | key [1] |
Local hash table item.
| ptrint DdHashItem::count |
reference count of item
| DdNode* DdHashItem::key[1] |
key pointers
| struct DdHashItem* DdHashItem::next |
collision list link
| DdNode* DdHashItem::value |
value DD
1.8.11