#include <cuddInt.h>
Collaboration diagram for DdLocalCache:

Public Attributes | |
| DdLocalCacheItem * | item |
| unsigned int | itemsize |
| unsigned int | keysize |
| unsigned int | slots |
| int | shift |
| double | lookUps |
| double | minHit |
| double | hits |
| unsigned int | maxslots |
| DdManager * | manager |
| DdLocalCache * | next |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1.2.18