Local cache. More...
#include <cuddInt.h>
Collaboration diagram for DdLocalCache:
Data Fields | |
| DdLocalCacheItem * | item |
| unsigned int | itemsize |
| unsigned int | keysize |
| unsigned int | slots |
| int | shift |
| double | lookUps |
| double | minHit |
| double | hits |
| unsigned int | maxslots |
| DdManager * | manager |
| struct DdLocalCache * | next |
Detailed Description
Local cache.
The documentation for this struct was generated from the following file:
- cudd/cuddInt.h
