static void 
BfvProfiles(
  DdManager * manager, 
  cuplus_profile_info_t * profile 
)
Undocumented

Side Effects None

Defined in cuplusProfile.c

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
Defined in cuplusProfile.c

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

Side Effects None

Defined in cuplusProfile.c

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

Defined in cuplusProfile.c

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

Defined in cuplusProfile.c

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

Side Effects None

Defined in cuplusProfile.c

static enum st_retval 
ProfileCentralSummary(
  char * key, 
  char * value, 
  char * arg 
)
Profile summary using node statistics. Computing total and max values.

Side Effects None

Defined in cuplusProfile.c

static enum st_retval 
ProfileInfoByVars(
  char * key, 
  char * value, 
  char * arg 
)
Undocumented

Side Effects None

Defined in cuplusProfile.c

static enum st_retval 
ProfileInfoItemFree(
  char * key, 
  char * value, 
  char * arg 
)
Frees the memory used for info items.

Side Effects None

Defined in cuplusProfile.c

static enum st_retval 
ProfileNodeSummary(
  char * key, 
  char * value, 
  char * arg 
)
Node statistic summary. Preparing average statistics and node normalized size costs.

Side Effects None

Defined in cuplusProfile.c

static void 
ProfileTotalSummary(
  cuplus_profile_info_t * profile 
)
Collect final global profile statistics at the end of the learning phase.

Side Effects None

Defined in cuplusProfile.c

static void 
cuplusCollectProfileSummaryRecur(
  DdManager * manager, 
  DdNode * f, 
  cuplus_profile_info_t * profile 
)
This is rather a template for BDD visit. Only BDD size by variable index is collected so far.

Side Effects None

Defined in cuplusProfile.c

static DdNode * 
cuplusProfileAndAbstractRecur(
  DdManager * manager, 
  DdNode * f, 
  DdNode * g, 
  DdNode * cube, 
  cuplus_profile_info_t * profile 
)
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. Profile statistics are upgraded. Profile is associated to the g operand.

Side Effects None

See Also Cudd_bddAndAbstract
Defined in cuplusProfile.c

static DdNode * 
cuplusPruneProfiledRecur(
  DdManager * manager, 
  DdNode * f, 
  cuplus_profile_info_t * profile, 
  Cuplus_PruneHeuristic_e  prune_heuristic, 
  int  threshold, 
  int  upper_activity 
)
Several heuristics are allowed to bias the pruning/clipping process:

Last updated on 990617 11h53