cudd
3.0.0
The University of Colorado Decision Diagram Package
Data Fields
Move Struct Reference
Reordering move record.
More...
#include <
cuddInt.h
>
Collaboration diagram for Move:
[
legend
]
Data Fields
DdHalfWord
x
DdHalfWord
y
unsigned int
flags
int
size
struct
Move
*
next
Detailed Description
Reordering move record.
The documentation for this struct was generated from the following file:
cudd/
cuddInt.h
Generated on Thu Jan 31 2019 00:00:00 for cudd by
1.8.14