DdLocalCache Struct Reference

Local cache. More...

#include <cuddInt.h>

Collaboration diagram for DdLocalCache:
[legend]

Data Fields

DdLocalCacheItemitem
unsigned int itemsize
unsigned int keysize
unsigned int slots
int shift
double lookUps
double minHit
double hits
unsigned int maxslots
DdManagermanager
struct DdLocalCachenext

Detailed Description

Local cache.


The documentation for this struct was generated from the following file:
 All Data Structures Files Functions Variables Typedefs Enumerations Defines

Generated on 31 Dec 2015 for cudd by  doxygen 1.6.1