-
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