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 456 of file cuddInt.h.

---

Field Documentation

DdQueueItem** DdLevelQueue::buckets

Definition at line 460 of file cuddInt.h.

void* DdLevelQueue::first

Definition at line 457 of file cuddInt.h.

DdQueueItem* DdLevelQueue::freelist

Definition at line 459 of file cuddInt.h.

int DdLevelQueue::itemsize

Definition at line 462 of file cuddInt.h.

DdQueueItem** DdLevelQueue::last

Definition at line 458 of file cuddInt.h.

int DdLevelQueue::levels

Definition at line 461 of file cuddInt.h.

int DdLevelQueue::maxsize

Definition at line 464 of file cuddInt.h.

int DdLevelQueue::numBuckets

Definition at line 465 of file cuddInt.h.

int DdLevelQueue::shift

Definition at line 466 of file cuddInt.h.

int DdLevelQueue::size

Definition at line 463 of file cuddInt.h.

---

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

• src/bdd/cudd/cuddInt.h