-
BfvProfiles()
- Undocumented
-
Cuplus_ProfileAndAbstract()
- Takes the AND of two BDDs and simultaneously abstracts the
variables in cube.
-
Cuplus_ProfileInfoFree()
- Free a profile
-
Cuplus_ProfileInfoGen()
- Create a new profile
-
Cuplus_ProfileInfoPrint()
- Print global profile statistics
-
Cuplus_ProfilePrune()
-
-
ProfileCentralSummary()
- Profile summary using node statistics.
-
ProfileInfoByVars()
- Undocumented
-
ProfileInfoItemFree()
- Frees the memory used for info items.
-
ProfileNodeSummary()
- Node statistic summary.
-
ProfileTotalSummary()
- Routine computing global profile statistics.
-
cuplusCollectProfileSummaryRecur()
- DFV visit with statistics upgrading.
-
cuplusProfileAndAbstractRecur()
- Recursive stap of AndAbstract with profile handling.
-
cuplusPruneProfiledRecur()
- Recursive step of BDD pruning based on profiles.
-
ddClearFlag()
- Performs a DFS from f, clearing the LSB of the next
pointers.
Last updated on 990617 11h53