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

---

Field Documentation

double DdLocalCache::hits

Definition at line 284 of file cuddInt.h.

DdLocalCacheItem* DdLocalCache::item

Definition at line 277 of file cuddInt.h.

unsigned int DdLocalCache::itemsize

Definition at line 278 of file cuddInt.h.

unsigned int DdLocalCache::keysize

Definition at line 279 of file cuddInt.h.

double DdLocalCache::lookUps

Definition at line 282 of file cuddInt.h.

DdManager* DdLocalCache::manager

Definition at line 286 of file cuddInt.h.

unsigned int DdLocalCache::maxslots

Definition at line 285 of file cuddInt.h.

double DdLocalCache::minHit

Definition at line 283 of file cuddInt.h.

struct DdLocalCache* DdLocalCache::next [read]

Definition at line 287 of file cuddInt.h.

int DdLocalCache::shift

Definition at line 281 of file cuddInt.h.

unsigned int DdLocalCache::slots

Definition at line 280 of file cuddInt.h.

---

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

• src/cuBdd/cuddInt.h