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 151 of file cuddApprox.c.

---

Field Documentation

struct LocalQueueItem* LocalQueueItem::cnext [read]

Definition at line 153 of file cuddApprox.c.

int LocalQueueItem::localRef

Definition at line 155 of file cuddApprox.c.

struct LocalQueueItem* LocalQueueItem::next [read]

Definition at line 152 of file cuddApprox.c.

DdNode* LocalQueueItem::node

Definition at line 154 of file cuddApprox.c.

---

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

• src/cuBdd/cuddApprox.c