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()

Last updated on 1010515 11h48