NodeStat Struct Reference

Data Fields
int	distance
int	localRef

---

Detailed Description

Definition at line 94 of file cuddDecomp.c.

---

Field Documentation

int NodeStat::distance

Definition at line 95 of file cuddDecomp.c.

int NodeStat::localRef

Definition at line 96 of file cuddDecomp.c.

---

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

• src/cuBdd/cuddDecomp.c