NodeStat Struct Reference

Data Fields
int	distance
int	localRef

---

Detailed Description

Definition at line 67 of file cuddDecomp.c.

---

Field Documentation

int NodeStat::distance

Definition at line 68 of file cuddDecomp.c.

int NodeStat::localRef

Definition at line 69 of file cuddDecomp.c.

---

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

• src/bdd/cudd/cuddDecomp.c