AssortedInfo Struct Reference

assorted information needed by the BuildSubsetBdd procedure. More...

Collaboration diagram for AssortedInfo:

Data Fields
unsigned int	maxpath
int	findShortestPath
int	thresholdReached
st_table *	maxpathTable
int	threshold

Detailed Description

assorted information needed by the BuildSubsetBdd procedure.

---

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

• cudd/cuddSubsetSP.c