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 106 of file cuddSubsetSP.c.

---

Field Documentation

int AssortedInfo::findShortestPath

Definition at line 108 of file cuddSubsetSP.c.

unsigned int AssortedInfo::maxpath

Definition at line 107 of file cuddSubsetSP.c.

st_table* AssortedInfo::maxpathTable

Definition at line 110 of file cuddSubsetSP.c.

int AssortedInfo::threshold

Definition at line 111 of file cuddSubsetSP.c.

int AssortedInfo::thresholdReached

Definition at line 109 of file cuddSubsetSP.c.

---

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

• src/cuBdd/cuddSubsetSP.c