Reordering move record. More...
#include <cuddInt.h>
Collaboration diagram for Move:
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
