#include <cuddInt.h>

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 |
Definition at line 256 of file cuddInt.h.
| unsigned int DdHashTable::itemsize |
| unsigned int DdHashTable::keysize |
| unsigned int DdHashTable::maxsize |
| unsigned int DdHashTable::numBuckets |
| unsigned int DdHashTable::size |
1.6.1