DdQueueItem Struct Reference

#include <cuddInt.h>

Collaboration diagram for DdQueueItem:

[legend]

Data Fields
struct DdQueueItem *	next
struct DdQueueItem *	cnext
void *	key

---

Detailed Description

Definition at line 492 of file cuddInt.h.

---

Field Documentation

struct DdQueueItem* DdQueueItem::cnext [read]

Definition at line 494 of file cuddInt.h.

void* DdQueueItem::key

Definition at line 495 of file cuddInt.h.

struct DdQueueItem* DdQueueItem::next [read]

Definition at line 493 of file cuddInt.h.

---

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

• src/cuBdd/cuddInt.h