Level queue. More...
#include <cuddInt.h>
Collaboration diagram for DdLevelQueue:
Data Fields | |
| void * | first |
| DdQueueItem ** | last |
| DdQueueItem * | freelist |
| DdQueueItem ** | buckets |
| int | levels |
| int | itemsize |
| int | size |
| int | maxsize |
| int | numBuckets |
| int | shift |
| DdManager * | manager |
Detailed Description
Level queue.
The documentation for this struct was generated from the following file:
- cudd/cuddInt.h
