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