DdLocalCache Struct Reference

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