DdHashItem Struct Reference

#include <cuddInt.h>

Collaboration diagram for DdHashItem:

[legend]

Data Fields
struct DdHashItem *	next
ptrint	count
DdNode *	value
DdNode *	key [1]

---

Detailed Description

Definition at line 291 of file cuddInt.h.

---

Field Documentation

ptrint DdHashItem::count

Definition at line 293 of file cuddInt.h.

DdNode* DdHashItem::key[1]

Definition at line 295 of file cuddInt.h.

struct DdHashItem* DdHashItem::next [read]

Definition at line 292 of file cuddInt.h.

DdNode* DdHashItem::value

Definition at line 294 of file cuddInt.h.

---

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

• src/cuBdd/cuddInt.h