Move Struct Reference

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