DdLocalCache Struct Reference

#include <cuddInt.h>

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

Definition at line 280 of file cuddInt.h.

Field Documentation

double DdLocalCache::hits

Definition at line 288 of file cuddInt.h.

DdLocalCacheItem* DdLocalCache::item

Definition at line 281 of file cuddInt.h.

unsigned int DdLocalCache::itemsize

Definition at line 282 of file cuddInt.h.

unsigned int DdLocalCache::keysize

Definition at line 283 of file cuddInt.h.

double DdLocalCache::lookUps

Definition at line 286 of file cuddInt.h.

DdManager* DdLocalCache::manager

Definition at line 290 of file cuddInt.h.

unsigned int DdLocalCache::maxslots

Definition at line 289 of file cuddInt.h.

double DdLocalCache::minHit

Definition at line 287 of file cuddInt.h.

struct DdLocalCache* DdLocalCache::next

Definition at line 291 of file cuddInt.h.

int DdLocalCache::shift

Definition at line 285 of file cuddInt.h.

unsigned int DdLocalCache::slots

Definition at line 284 of file cuddInt.h.

---

The documentation for this struct was generated from the following file:

• cuddInt.h