DdHashItem Struct Reference

Local hash table item. More...

#include <cuddInt.h>

Collaboration diagram for DdHashItem:

Data Fields

struct DdHashItemnext
ptrint count
DdNodekey [1]

Detailed Description

Local hash table item.

Field Documentation

reference count of item

key pointers

struct DdHashItem* DdHashItem::next [read]

collision list link

value DD

The documentation for this struct 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