FsmHdSizeStruct Struct Reference

Data Fields
mdd_t *	bdd
int	size
long	rnd

---

Detailed Description

Struct********************************************************************** Synopsis [Stats structure to store size and minterm count]

Definition at line 119 of file fsmHD.c.

---

Field Documentation

mdd_t* FsmHdSizeStruct::bdd

Definition at line 120 of file fsmHD.c.

long FsmHdSizeStruct::rnd

Definition at line 122 of file fsmHD.c.

int FsmHdSizeStruct::size

Definition at line 121 of file fsmHD.c.

---

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

• src/fsm/fsmHD.c