#include <cuddInt.h>
Collaboration diagram for DdLevelQueue:

Public Attributes | |
| void * | first |
| DdQueueItem ** | last |
| DdQueueItem * | freelist |
| DdQueueItem ** | buckets |
| int | levels |
| int | itemsize |
| int | size |
| int | maxsize |
| int | numBuckets |
| int | shift |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1.2.18