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
◆ bucket
| DdHashItem** DdHashTable::bucket |
array of buckets
◆ itemsize
| unsigned int DdHashTable::itemsize |
size of hash table item in bytes
◆ keysize
| unsigned int DdHashTable::keysize |
number of pointers in the key
◆ manager
| DdManager* DdHashTable::manager |
DD manager
◆ maxsize
| unsigned int DdHashTable::maxsize |
threshold for table resizing
◆ memoryList
| DdHashItem** DdHashTable::memoryList |
list of memory blocks for items
◆ nextFree
| DdHashItem* DdHashTable::nextFree |
item free list
◆ numBuckets
| unsigned int DdHashTable::numBuckets |
number of buckets in array
◆ shift
| int DdHashTable::shift |
shift used in hash function
◆ size
| unsigned int DdHashTable::size |
number of items stored in table
The documentation for this struct was generated from the following file:
- cudd/cuddInt.h
