cudd
3.0.0
The University of Colorado Decision Diagram Package
|
Type of the item of the local queue. More...
Data Fields | |
struct LocalQueueItem * | next |
struct LocalQueueItem * | cnext |
DdNode * | node |
int | localRef |
Type of the item of the local queue.