DdNode * 
Cuplus_ProfileAndAbstract(
  DdManager * manager, 
  DdNode * f, 
  DdNode * g, 
  DdNode * cube, 
  cuplus_profile_info_t * profile 
)
A patched version of the original CUDD function.

Side Effects None

See Also Cudd_bddAndAbstract

void 
Cuplus_ProfileInfoFree(
  cuplus_profile_info_t * profile 
)
Free a profile struct and the associated symbol table.

Side Effects None


cuplus_profile_info_t * 
Cuplus_ProfileInfoGen(
  unsigned char  dac99_compatible 
)
Allocate a structure for global statistics of a profile. Initialize fields. Create a symbol table for the correspondence node-profile info. The dac99_compatible flag must be 1 for experimental results as in the dac99 paper. It must be set now.

Side Effects None


void 
Cuplus_ProfileInfoPrint(
  cuplus_profile_info_t * profile 
)
Print some global statistics about a profile, e.g. average and max values of activity indicators.

Side Effects None


DdNode * 
Cuplus_ProfilePrune(
  DdManager * manager, 
  DdNode * f, 
  cuplus_profile_info_t * profile, 
  Cuplus_PruneHeuristic_e  prune_heuristic, 
  int  threshold 
)

Side Effects None


Last updated on 990617 11h53