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
