Generic local cache item. More...
#include <cuddInt.h>
Collaboration diagram for DdLocalCacheItem:
Data Fields | |
| DdNode * | value |
| DdNode * | key [1] |
Detailed Description
Generic local cache item.
The documentation for this struct was generated from the following file:
- cudd/cuddInt.h
