DdLevelQueue Struct Reference

#include <cuddInt.h>

Collaboration diagram for DdLevelQueue:

[legend]

Data Fields
void *	first
DdQueueItem **	last
DdQueueItem *	freelist
DdQueueItem **	buckets
int	levels
int	itemsize
int	size
int	maxsize
int	numBuckets
int	shift

---

Detailed Description

Definition at line 499 of file cuddInt.h.

---

Field Documentation

DdQueueItem** DdLevelQueue::buckets

Definition at line 503 of file cuddInt.h.

void* DdLevelQueue::first

Definition at line 500 of file cuddInt.h.

DdQueueItem* DdLevelQueue::freelist

Definition at line 502 of file cuddInt.h.

int DdLevelQueue::itemsize

Definition at line 505 of file cuddInt.h.

DdQueueItem** DdLevelQueue::last

Definition at line 501 of file cuddInt.h.

int DdLevelQueue::levels

Definition at line 504 of file cuddInt.h.

int DdLevelQueue::maxsize

Definition at line 507 of file cuddInt.h.

int DdLevelQueue::numBuckets

Definition at line 508 of file cuddInt.h.

int DdLevelQueue::shift

Definition at line 509 of file cuddInt.h.

int DdLevelQueue::size

Definition at line 506 of file cuddInt.h.

---

The documentation for this struct was generated from the following file:

• src/cuBdd/cuddInt.h