GlobalQueueItem Struct Reference

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

Collaboration diagram for GlobalQueueItem:
[legend]

Data Fields

struct GlobalQueueItemnext
struct GlobalQueueItemcnext
DdNodenode
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:
 All Data Structures Files Functions Variables Typedefs Enumerations Defines

Generated on 31 Dec 2015 for cudd by  doxygen 1.6.1