DdHashTable Struct Reference

Local hash table. More...

#include <cuddInt.h>

Collaboration diagram for DdHashTable:
[legend]

Data Fields

unsigned int keysize
unsigned int itemsize
DdHashItem ** bucket
DdHashItemnextFree
DdHashItem ** memoryList
unsigned int numBuckets
int shift
unsigned int size
unsigned int maxsize
DdManagermanager

Detailed Description

Local hash table.


Field Documentation

array of buckets

unsigned int DdHashTable::itemsize

size of hash table item in bytes

unsigned int DdHashTable::keysize

number of pointers in the key

DD manager

unsigned int DdHashTable::maxsize

threshold for table resizing

list of memory blocks for items

item free list

number of buckets in array

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:
 All Data Structures Files Functions Variables Typedefs Enumerations Defines

Generated on 31 Dec 2015 for cudd by  doxygen 1.6.1