STACCATO_PROJECT: DSDManipulations.h Source File

00001 #ifndef DSD_MANIPULATIONS
00002 #define DSD_MANIPULATIONS
00003 
00004 #include "DSD.h"
00005 #include "DSDManager.h"
00006 
00011 void  __Decomposition_Print(DSDNode* dsd_node);
00012 
00017 void __Recursive_Decomposition_Print(DSDNode* dsd_node);
00018 
00023 DdNode * __Get_Symbolic_Decomposition(DSDNode* dsd_node);
00024 
00029 DdNode * __Get_BDD(DSDNode* dsd_node);
00030 
00031 #endif