#include <cuddInt.h>

Public Attributes
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 265 of file cuddInt.h.

Member Data Documentation

◆ hits

double DdLocalCache::hits

Definition at line 273 of file cuddInt.h.

◆ item

DdLocalCacheItem* DdLocalCache::item

Definition at line 266 of file cuddInt.h.

◆ itemsize

unsigned int DdLocalCache::itemsize

Definition at line 267 of file cuddInt.h.

◆ keysize

unsigned int DdLocalCache::keysize

Definition at line 268 of file cuddInt.h.

◆ lookUps

double DdLocalCache::lookUps

Definition at line 271 of file cuddInt.h.

◆ manager

DdManager* DdLocalCache::manager

Definition at line 275 of file cuddInt.h.

◆ maxslots

unsigned int DdLocalCache::maxslots

Definition at line 274 of file cuddInt.h.

◆ minHit

double DdLocalCache::minHit

Definition at line 272 of file cuddInt.h.

◆ next

struct DdLocalCache* DdLocalCache::next

Definition at line 276 of file cuddInt.h.

◆ shift

int DdLocalCache::shift

Definition at line 270 of file cuddInt.h.

◆ slots

unsigned int DdLocalCache::slots

Definition at line 269 of file cuddInt.h.

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

/home/runner/work/SVF-1/SVF-1/include/CUDD/cuddInt.h

Public Attributes