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