VIS

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

Definition at line 120 of file fsmHD.c.

Definition at line 122 of file fsmHD.c.

Definition at line 121 of file fsmHD.c.


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