DSDManager.h File Reference

#include "DSD.h"
#include "DSDInterface.h"

Go to the source code of this file.

Functions
DSDManager *	__DSD_Init (DdManager *manager, int_32 recommendation_size)
void	__DSD_Quit (DSDManager *manager)
void	__DSD_Ref (DSDManager *manager, DSDNode *dsd)
void	__DSD_RecursiveDeref (DSDManager *manager, DSDNode *dsd)
void	__DSD_Deref (DSDManager *manger, DSDNode *dsd)
void	recursive_deref (DSDManager *manager, DSDNode *dsd)
DSDNode **	Create_DSD_Table (int size)
void	Destroy_DSD_Table (DSDManager *manager, DSDNode **, int size)
void	purge_triggered_stat_update (DSDManager *manager)
void	Purge_Derefs (DSDManager *manager)
void	delete_actual_list (DSDManager *manager, DSDNode *dsd)
void	delete_support (DSDNode *dsd)
DSDNode *	find_DSD_node (DSDManager *manager, DdNode *bdd)
DSDNode *	create_DSD_node (DSDManager *manager, DdNode *bdd)

---

Function Documentation

void __DSD_Deref (  DSDManager *  manger, DSDNode *  dsd )

Internal function to dereference current DSD block but does not recursive dereference children blocks under any circumstances

DSDManager* __DSD_Init (  DdManager *  manager, int_32  recommendation_size )

Internal function used to initialize the various caches and structures in STACCATO

void __DSD_Quit (  DSDManager *  manager  )

Internal function used to reclaim memory and destroy outstanding data structures in the given STACCATO manager

void __DSD_RecursiveDeref (  DSDManager *  manager, DSDNode *  dsd )

Internal function used to dereference a DSD node

void __DSD_Ref (  DSDManager *  manager, DSDNode *  dsd )

Internal function used to reference a DSD node

DSDNode* create_DSD_node (  DSDManager *  manager, DdNode *  bdd )

Internal function to create a new blank DSD node and insert this newly created DSD node into the unique table

DSDNode** Create_DSD_Table (  int  size  )

Internal funnction called by __DSD_Init that creates the unique table used to store DSD nodes

void delete_actual_list (  DSDManager *  manager, DSDNode *  dsd )

Internal function called by Purge_Derefs to reclaim memory used to allocate the actuals list of a deleted DSD node

void delete_support (  DSDNode *  dsd  )

void Destroy_DSD_Table (  DSDManager *  manager, DSDNode **  , int  size )

Internal function called by __DSD_Quit to destroy unique table used to store DSD nodes

DSDNode* find_DSD_node (  DSDManager *  manager, DdNode *  bdd )

This function finds a DSD node corresponding to the given BDD. If none exists, 0 is returned.

void Purge_Derefs (  DSDManager *  manager  )

Internal function called periodically to remove dead DSD nodes--garbage cleaning

void purge_triggered_stat_update (  DSDManager *  manager  )

void recursive_deref (  DSDManager *  manager, DSDNode *  dsd )

Internal function called by __DSD_RecursiveDeref if the current DSD reference count reaches 0

---