DdHashItem Struct Reference

#include <cuddInt.h>

Public Attributes
struct DdHashItem *	next
ptrint	count
DdNode *	value
DdNode *	key [1]

Detailed Description

Definition at line 280 of file cuddInt.h.

Member Data Documentation

count

ptrint DdHashItem::count

Definition at line 282 of file cuddInt.h.

key

DdNode* DdHashItem::key[1]

Definition at line 284 of file cuddInt.h.

next

struct DdHashItem* DdHashItem::next

Definition at line 281 of file cuddInt.h.

value

DdNode* DdHashItem::value

Definition at line 283 of file cuddInt.h.

---

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

• /home/runner/work/SVF-1/SVF-1/include/CUDD/cuddInt.h