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 Movenext

Detailed Description

Reordering move record.


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