LocalQueueItem Struct Reference

Collaboration diagram for LocalQueueItem:

[legend]

Data Fields
struct LocalQueueItem *	next
struct LocalQueueItem *	cnext
DdNode *	node
int	localRef

---

Detailed Description

Definition at line 124 of file cuddApprox.c.

---

Field Documentation

struct LocalQueueItem* LocalQueueItem::cnext [read]

Definition at line 126 of file cuddApprox.c.

int LocalQueueItem::localRef

Definition at line 128 of file cuddApprox.c.

struct LocalQueueItem* LocalQueueItem::next [read]

Definition at line 125 of file cuddApprox.c.

DdNode* LocalQueueItem::node

Definition at line 127 of file cuddApprox.c.

---

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

• src/bdd/cudd/cuddApprox.c