STACCATO_PROJECT: DSDDecompose.h Source File

00001 #ifndef DSD_DECOMPOSE
00002 #define DSD_DECOMPOSE
00003 
00004 #include "DSD.h"
00005 #include "DSDManager.h"
00006 #include "DSDInterface.h"
00007 #include "DSDOrDecompose.h"
00008 #include "DSDXorDecompose.h"
00009 #include "DSDPrimeDecompose.h"
00010 
00011 #include "DSDUtilities.h"
00012 
00013 #include "DSDNewDecompose.h"
00014 
00015 
00021 DSDNode* __DSD_Create(DSDManager* manager, DdNode* f);
00022 
00030 DSDNode* Decomposition(DSDManager* manager, DdNode* f, DdNode *top_func, DSDNode* T, DSDNode* E);
00031 
00036 DSDNode *create_var(DSDManager* manager, DdNode* f);
00037 
00038 #endif