DSDManager.h

Go to the documentation of this file.

#ifndef DSD_MANAGER
#define DSD_MANAGER

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


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); 


/*support for DSD hash table resizing */
/*ASSERT ON MAX VAR SIZE OF 100000--used for a sanity check--should be removed*/
/*not implemented yet*/
/*void adjust_unique_table(DSDManager *manager);*/

#endif

---