00001 #ifndef DSD_NEW_DECOMPOSE
00002 #define DSD_NEW_DECOMPOSE
00003
00004 #include "DSDDecompose.h"
00005
00010 DSDNode* Common_Formals_Decomp(DSDManager* manager, DdNode* f, DdNode *top_func, DSDNode* T, DSDNode* E);
00011
00016 ActualNode* sort_list(DdManager *manager, int *size);
00017
00022 DdNode *check_marks_recursive(DSDManager *manager, DSDNode *node, DSDNode *parent);
00023
00028 DdNode *check_remaining_marks_recursive(DSDManager *manager, DSDNode *node, DSDNode *parent);
00029
00033 void mark_recursive(DSDNode *node, DSDNode *parent);
00034
00038 void unmark_recursive(DSDNode *node);
00039
00044 void insert_listT(DSDManager *manager, ActualNode *actual);
00045
00050 void insert_listE(DSDManager *manager, ActualNode *actual);
00051
00052
00053
00054 #endif
