Removing unused parts of CUDD

mwolf76 · Dec 29, 2013 · a8e1b2a · a8e1b2a
1 parent ede405e
commit a8e1b2a
Show file tree

Hide file tree

Showing 20 changed files with 19 additions and 6,015 deletions.
diff --git a/src/dd/Makefile.am b/src/dd/Makefile.am
@@ -9,7 +9,6 @@ INCLUDES = \
 	-I$(top_srcdir)/src/expr			\
 	-I$(top_srcdir)/src/dd/cudd-2.5.0/cudd          \
 	-I$(top_srcdir)/src/dd/cudd-2.5.0/mtr 	 	\
-	-I$(top_srcdir)/src/dd/cudd-2.5.0/epd		\
 	-I$(top_srcdir)/src/dd/cudd-2.5.0/st		\
 	-I$(top_srcdir)/src/dd/cudd-2.5.0/util		\
 	-I$(top_srcdir)/src/dd/cudd-2.5.0/obj 		\
@@ -47,15 +46,15 @@ cudd-2.5.0/cudd/cuddZddGroup.c cudd-2.5.0/cudd/cuddZddIsop.c		\
 cudd-2.5.0/cudd/cuddZddLin.c cudd-2.5.0/cudd/cuddZddMisc.c		\
 cudd-2.5.0/cudd/cuddZddPort.c cudd-2.5.0/cudd/cuddZddReord.c		\
 cudd-2.5.0/cudd/cuddZddSetop.c cudd-2.5.0/cudd/cuddZddSymm.c		\
-cudd-2.5.0/cudd/cuddZddUtil.c cudd-2.5.0/epd/epd.c			\
-cudd-2.5.0/mtr/mtrGroup.c cudd-2.5.0/mtr/mtrBasic.c			\
-cudd-2.5.0/util/cpu_stats.c cudd-2.5.0/util/datalimit.c			\
-cudd-2.5.0/util/pathsearch.c cudd-2.5.0/util/prtime.c			\
-cudd-2.5.0/util/restart.c cudd-2.5.0/util/saveimage.c			\
-cudd-2.5.0/util/strsav.c cudd-2.5.0/util/texpand.c			\
-cudd-2.5.0/util/cpu_time.c cudd-2.5.0/util/pipefork.c			\
-cudd-2.5.0/util/safe_mem.c cudd-2.5.0/util/state.c			\
-cudd-2.5.0/util/stub.c cudd-2.5.0/st/st.c cudd-2.5.0/obj/cuddObj.cc
+cudd-2.5.0/cudd/cuddZddUtil.c cudd-2.5.0/mtr/mtrGroup.c			\
+cudd-2.5.0/mtr/mtrBasic.c cudd-2.5.0/util/cpu_stats.c			\
+cudd-2.5.0/util/datalimit.c cudd-2.5.0/util/pathsearch.c		\
+cudd-2.5.0/util/prtime.c cudd-2.5.0/util/restart.c			\
+cudd-2.5.0/util/saveimage.c cudd-2.5.0/util/strsav.c			\
+cudd-2.5.0/util/texpand.c cudd-2.5.0/util/cpu_time.c			\
+cudd-2.5.0/util/pipefork.c cudd-2.5.0/util/safe_mem.c			\
+cudd-2.5.0/util/state.c cudd-2.5.0/util/stub.c cudd-2.5.0/st/st.c	\
+cudd-2.5.0/obj/cuddObj.cc
 
 PKG_SOURCES = $(PKG_H) $(PKG_CC)
 

diff --git a/src/dd/cudd-2.5.0/cudd/cudd.h b/src/dd/cudd-2.5.0/cudd/cudd.h
@@ -62,7 +62,6 @@
 /*---------------------------------------------------------------------------*/
 
 #include "mtr.h"
-#include "epd.h"
 
 #ifdef __cplusplus
 extern "C" {
@@ -938,7 +937,7 @@ extern int Cudd_EstimateCofactor (DdManager *dd, DdNode * node, int i, int phase
 extern int Cudd_EstimateCofactorSimple (DdNode * node, int i);
 extern int Cudd_SharingSize (DdNode **nodeArray, int n);
 extern double Cudd_CountMinterm (DdManager *manager, DdNode *node, int nvars);
-extern int Cudd_EpdCountMinterm (DdManager *manager, DdNode *node, int nvars, EpDouble *epd);
+/* extern int Cudd_EpdCountMinterm (DdManager *manager, DdNode *node, int nvars, EpDouble *epd); */
 extern double Cudd_CountPath (DdNode *node);
 extern double Cudd_CountPathsToNonZero (DdNode *node);
 extern int Cudd_SupportIndices(DdManager * dd, DdNode * f, int **indices);

diff --git a/src/dd/cudd-2.5.0/cudd/cuddUtil.c b/src/dd/cudd-2.5.0/cudd/cuddUtil.c
@@ -183,7 +183,7 @@ static int cuddEstimateCofactor (DdManager *dd, st_table *table, DdNode * node,
 static DdNode * cuddUniqueLookup (DdManager * unique, int  index, DdNode * T, DdNode * E);
 static int cuddEstimateCofactorSimple (DdNode * node, int i);
 static double ddCountMintermAux (DdNode *node, double max, DdHashTable *table);
-static int ddEpdCountMintermAux (DdNode *node, EpDouble *max, EpDouble *epd, st_table *table);
+/* /\* static int ddEpdCountMintermAux (DdNode *node, EpDouble *max, EpDouble *epd, st_table *table); *\/ */
 static double ddCountPathAux (DdNode *node, st_table *table);
 static double ddCountPathsToNonZero (DdNode * N, st_table * table);
 static void ddSupportStep (DdNode *f, int *support);
@@ -690,6 +690,7 @@ Cudd_CountPath(
 } /* end of Cudd_CountPath */
 
 
+#if 0
 /**Function********************************************************************
 
   Synopsis    [Counts the number of minterms of a DD with extended precision.]
@@ -738,7 +739,7 @@ Cudd_EpdCountMinterm(
     return(0);
 
 } /* end of Cudd_EpdCountMinterm */
-
+#endif
 
 /**Function********************************************************************
 
@@ -3665,6 +3666,7 @@ ddCountPathAux(
 } /* end of ddCountPathAux */
 
 
+#if 0
 /**Function********************************************************************
 
   Synopsis    [Performs the recursive step of Cudd_EpdCountMinterm.]
@@ -3737,7 +3739,7 @@ ddEpdCountMintermAux(
     return(0);
 
 } /* end of ddEpdCountMintermAux */
-
+#endif
 
 /**Function********************************************************************
 
@@ -4019,6 +4021,7 @@ ddPickRepresentativeCube(
 } /* end of ddPickRepresentativeCube */
 
 
+#if 0
 /**Function********************************************************************
 
   Synopsis [Frees the memory used to store the minterm counts recorded
@@ -4044,7 +4047,7 @@ ddEpdFree(
 
 } /* end of ddEpdFree */
 
-
+#endif
 /**Function********************************************************************
 
   Synopsis [Recursively find the support of f.]

diff --git a/src/dd/cudd-2.5.0/epd/Makefile b/src/dd/cudd-2.5.0/epd/Makefile