-
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