cuplus.h
cuplusInt.h
cuplusProfile.c
By: Gianpiero Cabodi and Stefano Quer
By: Gianpiero Cabodi and Stefano Quer
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()
Cuplus_ProfilePrune()
Cuplus_ProfileInfoGen()
Cuplus_ProfileInfoFree()
Cuplus_ProfileInfoPrint()
ProfileTotalSummary()
ProfileCentralSummary()
ProfileNodeSummary()
ProfileInfoItemFree()
cuplusProfileAndAbstractRecur()
cuplusPruneProfiledRecur()
cuplusCollectProfileSummaryRecur()
BfvProfiles()
ProfileInfoByVars()
ddClearFlag()