BfvProfiles()
Undocumented
Cuplus_CofexistMask()
Cuplus_DoAbortHookFun()
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_ProfileInfoPrintByVar()
Print global profile statistics
Cuplus_ProfileInfoPrintOriginal()
Print global profile statistics
Cuplus_ProfileInfoPrint()
Print global profile statistics
Cuplus_ProfilePrune()
Cuplus_ProfileReadCurrentPart()
Cuplus_ProfileSetCurrentPart()
Cuplus_bddAndAbstract()
Takes the AND of two BDDs and simultaneously abstracts the variables in cube.
Cuplus_bddOpDisableAbortOnSift()
Cuplus_bddOpEnableAbortOnSift()
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.
cuplusBddAndAbstractRecur()
Takes the AND of two BDDs and simultaneously abstracts the variables in cube.
cuplusBddAndAbstractSimplify()
simplifies first factor of AndAbstract.
cuplusCofexistMaskRecur()
Recursive step of cofexist mask generation.
cuplusCollectProfileSummaryRecur()
DFV visit with statistics upgrading.
cuplusProfileAndAbstractRecur()
Recursive stap of AndAbstract with profile handling.
cuplusPruneProfiledByVar()
Pruning Based on Profiles By Variable.
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 1010515 11h48