DdHashTable Struct Reference

Local hash table. More...

#include <cuddInt.h>

Collaboration diagram for DdHashTable:

Data Fields
unsigned int	keysize
unsigned int	itemsize
DdHashItem **	bucket
DdHashItem *	nextFree
DdHashItem **	memoryList
unsigned int	numBuckets
int	shift
unsigned int	size
unsigned int	maxsize
DdManager *	manager

Detailed Description

Local hash table.

Field Documentation

DdHashItem** DdHashTable::bucket

array of buckets

unsigned int DdHashTable::itemsize

size of hash table item in bytes

unsigned int DdHashTable::keysize

number of pointers in the key

DdManager* DdHashTable::manager

DD manager

unsigned int DdHashTable::maxsize

threshold for table resizing

DdHashItem** DdHashTable::memoryList

list of memory blocks for items

DdHashItem* DdHashTable::nextFree

item free list

unsigned int DdHashTable::numBuckets

number of buckets in array

int DdHashTable::shift

shift used in hash function

unsigned int DdHashTable::size

number of items stored in table

---

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

• cudd/cuddInt.h