DdTlcInfo Struct Reference

Data Fields
DdHalfWord *	vars
long *	phases
DdHalfWord	cnt

---

Detailed Description

Definition at line 118 of file cuddEssent.c.

---

Field Documentation

DdHalfWord DdTlcInfo::cnt

Definition at line 121 of file cuddEssent.c.

long* DdTlcInfo::phases

Definition at line 120 of file cuddEssent.c.

DdHalfWord* DdTlcInfo::vars

Definition at line 119 of file cuddEssent.c.

---

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

• src/cuBdd/cuddEssent.c