cudd  3.0.0
The University of Colorado Decision Diagram Package
Data Fields
DdHashItem Struct Reference

Local hash table item. More...

#include <cuddInt.h>

Collaboration diagram for DdHashItem:
Collaboration graph
[legend]

Data Fields

struct DdHashItemnext
 
ptrint count
 
DdNodevalue
 
DdNodekey [1]
 

Detailed Description

Local hash table item.

Field Documentation

◆ count

ptrint DdHashItem::count

reference count of item

◆ key

DdNode* DdHashItem::key[1]

key pointers

◆ next

struct DdHashItem* DdHashItem::next

collision list link

◆ value

DdNode* DdHashItem::value

value DD


The documentation for this struct was generated from the following file: