DdLocalCacheItem Struct Reference

#include <cuddInt.h>

Collaboration diagram for DdLocalCacheItem:

[legend]

Data Fields
DdNode *	value
DdNode *	key [1]

---

Detailed Description

Definition at line 224 of file cuddInt.h.

---

Field Documentation

DdNode* DdLocalCacheItem::key[1]

Definition at line 229 of file cuddInt.h.

DdNode* DdLocalCacheItem::value

Definition at line 225 of file cuddInt.h.

---

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

• src/bdd/cudd/cuddInt.h