DdNode * Cuplus_CofexistMask( DdManager * manager, DdNode * f, DdNode * cube )
int Cuplus_DoAbortHookFun( DdManager * manager, char * str, void * heuristic )
DdNode * Cuplus_ProfileAndAbstract( DdManager * manager, DdNode * f, DdNode * g, DdNode * cube, cuplus_profile_info_t * profile )
Cudd_bddAndAbstract
void Cuplus_ProfileInfoFree( cuplus_profile_info_t * profile )
cuplus_profile_info_t * Cuplus_ProfileInfoGen( unsigned char dac99Compatible, int nVar, int nPart )
void Cuplus_ProfileInfoPrintByVar( cuplus_profile_info_t * profile )
void Cuplus_ProfileInfoPrintOriginal( cuplus_profile_info_t * profile )
void Cuplus_ProfileInfoPrint( cuplus_profile_info_t * profile )
DdNode * Cuplus_ProfilePrune( DdManager * manager, DdNode * f, cuplus_profile_info_t * profile, Cuplus_PruneHeuristic_e pruneHeuristic, int threshold )
int Cuplus_ProfileReadCurrentPart( cuplus_profile_info_t * profile )
void Cuplus_ProfileSetCurrentPart( cuplus_profile_info_t * profile, int currentPart )
DdNode * Cuplus_bddAndAbstract( DdManager * manager, DdNode * f, DdNode * g, DdNode * cube )
Cudd_bddAndAbstract
void Cuplus_bddOpDisableAbortOnSift( DdManager * manager )
void Cuplus_bddOpEnableAbortOnSift( DdManager * manager )