cuplus.h
External header file
cuplusInt.h
Internal header file
cuplusProfile.c
Managing Activity profiles.

cuplus.h

External header file

By: Gianpiero Cabodi and Stefano Quer


cuplusInt.h

Internal header file

By: Gianpiero Cabodi and Stefano Quer


cuplusProfile.c

Managing Activity profiles.

By: Gianpiero Cabodi and Stefano Quer

This file includes routines for creating activity profiles, collecting statistics within recursive And-Abstract operations, pruning BDDs using activity profiles. Since CUDD does not provide room for extra pointers within the BDD node structure, we use hashing (st package) to implement the correspondence between a node and a profile info.

Cuplus_ProfileAndAbstract()
Takes the AND of two BDDs and simultaneously abstracts the variables in cube.
Cuplus_ProfilePrune()
Cuplus_ProfileInfoGen()
Create a new profile
Cuplus_ProfileInfoFree()
Free a profile
Cuplus_ProfileInfoPrint()
Print global profile statistics
ProfileTotalSummary()
Routine computing global profile statistics.
ProfileCentralSummary()
Profile summary using node statistics.
ProfileNodeSummary()
Node statistic summary.
ProfileInfoItemFree()
Frees the memory used for info items.
cuplusProfileAndAbstractRecur()
Recursive stap of AndAbstract with profile handling.
cuplusPruneProfiledRecur()
Recursive step of BDD pruning based on profiles.
cuplusCollectProfileSummaryRecur()
DFV visit with statistics upgrading.
BfvProfiles()
Undocumented
ProfileInfoByVars()
Undocumented
ddClearFlag()
Performs a DFS from f, clearing the LSB of the next pointers.

Last updated on 990617 11h53