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
