#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 |