Move Struct Reference

#include <cuddInt.h>

Public Attributes
DdHalfWord	x
DdHalfWord	y
unsigned int	flags
int	size
struct Move *	next

Detailed Description

Definition at line 469 of file cuddInt.h.

Member Data Documentation

flags

unsigned int Move::flags

Definition at line 472 of file cuddInt.h.

next

struct Move* Move::next

Definition at line 474 of file cuddInt.h.

size

int Move::size

Definition at line 473 of file cuddInt.h.

x

DdHalfWord Move::x

Definition at line 470 of file cuddInt.h.

y

DdHalfWord Move::y

Definition at line 471 of file cuddInt.h.

---

The documentation for this struct was generated from the following file:

• /home/runner/work/SVF-1/SVF-1/include/CUDD/cuddInt.h