abc-master
|
#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 |
DdHashItem** DdHashTable::bucket |
DdHashItem** DdHashTable::memoryList |
DdHashItem* DdHashTable::nextFree |