GlobalQueueItem Struct Reference

Item of the queue used in the levelized traversal of the BDD. More...

Collaboration diagram for GlobalQueueItem:

Data Fields
struct GlobalQueueItem *	next
struct GlobalQueueItem *	cnext
DdNode *	node
double	impactP
double	impactN

Detailed Description

Item of the queue used in the levelized traversal of the BDD.

---

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

• cudd/cuddApprox.c