abc-master
|
#include <cuddInt.h>
Data Fields | |
void * | first |
DdQueueItem ** | last |
DdQueueItem * | freelist |
DdQueueItem ** | buckets |
int | levels |
int | itemsize |
int | size |
int | maxsize |
int | numBuckets |
int | shift |
DdQueueItem** DdLevelQueue::buckets |
DdQueueItem* DdLevelQueue::freelist |
DdQueueItem** DdLevelQueue::last |