DdLevelQueue Struct Reference

Level queue. More...

#include <cuddInt.h>

Collaboration diagram for DdLevelQueue:
[legend]

Data Fields

void * first
DdQueueItem ** last
DdQueueItemfreelist
DdQueueItem ** buckets
int levels
int itemsize
int size
int maxsize
int numBuckets
int shift
DdManagermanager

Detailed Description

Level queue.


The documentation for this struct was generated from the following file:
 All Data Structures Files Functions Variables Typedefs Enumerations Defines

Generated on 31 Dec 2015 for cudd by  doxygen 1.6.1