AssortedInfo Struct Reference

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

Collaboration diagram for AssortedInfo:
[legend]

Data Fields

unsigned int maxpath
int findShortestPath
int thresholdReached
st_tablemaxpathTable
int threshold

Detailed Description

assorted information needed by the BuildSubsetBdd procedure.


The documentation for this struct was generated from the following file:
 All Data Structures Files Functions Variables Typedefs Enumerations Defines

Generated on 31 Dec 2015 for cudd by  doxygen 1.6.1