DdNode * 
Cuplus_CofexistMask(
  DdManager * manager, 
  DdNode * f, 
  DdNode * cube 
)

Side Effects None


int 
Cuplus_DoAbortHookFun(
  DdManager * manager, 
  char * str, 
  void * heuristic 
)

Side Effects None


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  dac99Compatible, 
  int  nVar, 
  int  nPart 
)
Allocate a structure for global statistics of a profile. Initialize fields. Create a symbol table for the correspondence node-profile info. The dac99Compatible flag must be 1 for experimental results as in the dac99 paper. It must be set now.

Side Effects None


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

Side Effects None


void 
Cuplus_ProfileInfoPrintOriginal(
  cuplus_profile_info_t * profile 
)
Print some global statistics about a profile, e.g. average and max values of activity indicators. Profile By Node (original profile) Section

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  pruneHeuristic, 
  int  threshold 
)

Side Effects None


int 
Cuplus_ProfileReadCurrentPart(
  cuplus_profile_info_t * profile 
)

Side Effects None


void 
Cuplus_ProfileSetCurrentPart(
  cuplus_profile_info_t * profile, 
  int  currentPart 
)

Side Effects None


DdNode * 
Cuplus_bddAndAbstract(
  DdManager * manager, 
  DdNode * f, 
  DdNode * g, 
  DdNode * cube 
)
Takes the AND of two BDDs and simultaneously abstracts the variables in cube. The variables are existentially abstracted. Returns a pointer to the result is successful; NULL otherwise.

Side Effects None

See Also Cudd_bddAndAbstract

void 
Cuplus_bddOpDisableAbortOnSift(
  DdManager * manager 
)

Side Effects None


void 
Cuplus_bddOpEnableAbortOnSift(
  DdManager * manager 
)

Side Effects None


Last updated on 1010515 11h48