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

Last updated on 990617 11h53