cudd
3.0.0
The University of Colorado Decision Diagram Package
Data Fields
DdQueueItem Struct Reference
Generic level queue item.
More...
#include <
cuddInt.h
>
Collaboration diagram for DdQueueItem:
[
legend
]
Data Fields
struct
DdQueueItem
*
next
struct
DdQueueItem
*
cnext
void *
key
Detailed Description
Generic level queue item.
The documentation for this struct was generated from the following file:
cudd/
cuddInt.h
Generated on Thu Jun 21 2018 10:18:17 for cudd by
1.8.14