DdLocalCache Struct Reference

#include <cuddInt.h>

Collaboration diagram for DdLocalCache:

[legend]

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 233 of file cuddInt.h.

---

Field Documentation

double DdLocalCache::hits

Definition at line 241 of file cuddInt.h.

DdLocalCacheItem* DdLocalCache::item

Definition at line 234 of file cuddInt.h.

unsigned int DdLocalCache::itemsize

Definition at line 235 of file cuddInt.h.

unsigned int DdLocalCache::keysize

Definition at line 236 of file cuddInt.h.

double DdLocalCache::lookUps

Definition at line 239 of file cuddInt.h.

DdManager* DdLocalCache::manager

Definition at line 243 of file cuddInt.h.

unsigned int DdLocalCache::maxslots

Definition at line 242 of file cuddInt.h.

double DdLocalCache::minHit

Definition at line 240 of file cuddInt.h.

struct DdLocalCache* DdLocalCache::next [read]

Definition at line 244 of file cuddInt.h.

int DdLocalCache::shift

Definition at line 238 of file cuddInt.h.

unsigned int DdLocalCache::slots

Definition at line 237 of file cuddInt.h.

---

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

• src/bdd/cudd/cuddInt.h