AssortedInfo Struct Reference

Collaboration diagram for AssortedInfo:

[legend]

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

---

Detailed Description

Definition at line 79 of file cuddSubsetSP.c.

---

Field Documentation

int AssortedInfo::findShortestPath

Definition at line 81 of file cuddSubsetSP.c.

unsigned int AssortedInfo::maxpath

Definition at line 80 of file cuddSubsetSP.c.

st_table* AssortedInfo::maxpathTable

Definition at line 83 of file cuddSubsetSP.c.

int AssortedInfo::threshold

Definition at line 84 of file cuddSubsetSP.c.

int AssortedInfo::thresholdReached

Definition at line 82 of file cuddSubsetSP.c.

---

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

• src/bdd/cudd/cuddSubsetSP.c