DdLevelQueue Struct Reference

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