Changes to be able to compile ABC without CUDD.

Makefile

@@ -15,22 +15,21 @@ MODULES := \
 	$(wildcard src/ext*) \
 	src/base/abc src/base/abci src/base/cmd src/base/io src/base/main \
 	src/base/ver src/base/wlc src/base/bac src/base/cba src/base/pla src/base/test \
-	src/bdd/cudd src/bdd/dsd src/bdd/epd src/bdd/mtr src/bdd/parse \
-	src/bdd/reo src/bdd/cas \
+	src/bdd/cudd src/bdd/extrab src/bdd/dsd src/bdd/epd src/bdd/mtr \
+	src/bdd/reo src/bdd/cas src/bdd/bbr src/bdd/llb \
 	src/map/mapper src/map/mio src/map/super src/map/if \
 	src/map/amap src/map/cov src/map/scl src/map/mpm \
 	src/misc/extra src/misc/mvc src/misc/st src/misc/util src/misc/nm \
 	src/misc/vec src/misc/hash src/misc/tim src/misc/bzlib src/misc/zlib \
-	src/misc/mem src/misc/bar src/misc/bbl \
+	src/misc/mem src/misc/bar src/misc/bbl src/misc/parse \
 	src/opt/cut src/opt/fxu src/opt/rwr src/opt/mfs src/opt/sim \
 	src/opt/ret src/opt/res src/opt/lpk src/opt/nwk src/opt/rwt \
 	src/opt/cgt src/opt/csw src/opt/dar src/opt/dau src/opt/sfm \
 	src/sat/bsat src/sat/csat src/sat/msat src/sat/psat src/sat/cnf src/sat/bmc \
 	src/bool/bdc src/bool/deco src/bool/dec src/bool/kit src/bool/lucky \
 	src/bool/rsb src/bool/rpo \
-	src/proof/pdr src/proof/abs src/proof/bbr src/proof/llb src/proof/live \
+	src/proof/pdr src/proof/abs src/proof/live src/proof/ssc src/proof/int \
 	src/proof/cec src/proof/dch src/proof/fraig src/proof/fra src/proof/ssw \
-	src/proof/ssc src/proof/int \
 	src/aig/aig src/aig/saig src/aig/gia src/aig/ioa src/aig/ivy src/aig/hop \
 	src/aig/miniaig \
 	src/python 

abclib.dsp

@@ -1242,30 +1242,6 @@ SOURCE=.\src\bdd\mtr\mtrGroup.c
 SOURCE=.\src\bdd\mtr\mtrInt.h
 # End Source File
 # End Group
-# Begin Group "parse"
-
-# PROP Default_Filter ""
-# Begin Source File
-
-SOURCE=.\src\bdd\parse\parse.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\bdd\parse\parseCore.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\bdd\parse\parseEqn.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\bdd\parse\parseInt.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\bdd\parse\parseStack.c
-# End Source File
-# End Group
 # Begin Group "dsd"
 
 # PROP Default_Filter ""
@@ -1362,6 +1338,178 @@ SOURCE=.\src\bdd\cas\casCore.c
 SOURCE=.\src\bdd\cas\casDec.c
 # End Source File
 # End Group
+# Begin Group "bbr"
+
+# PROP Default_Filter ""
+# Begin Source File
+
+SOURCE=.\src\bdd\bbr\bbr.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\bdd\bbr\bbrCex.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\bdd\bbr\bbrImage.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\bdd\bbr\bbrNtbdd.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\bdd\bbr\bbrReach.c
+# End Source File
+# End Group
+# Begin Group "llb"
+
+# PROP Default_Filter ""
+# Begin Source File
+
+SOURCE=.\src\bdd\llb\llb.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\bdd\llb\llb1Cluster.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\bdd\llb\llb1Constr.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\bdd\llb\llb1Core.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\bdd\llb\llb1Group.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\bdd\llb\llb1Hint.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\bdd\llb\llb1Man.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\bdd\llb\llb1Matrix.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\bdd\llb\llb1Pivot.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\bdd\llb\llb1Reach.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\bdd\llb\llb1Sched.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\bdd\llb\llb2Bad.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\bdd\llb\llb2Core.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\bdd\llb\llb2Driver.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\bdd\llb\llb2Dump.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\bdd\llb\llb2Flow.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\bdd\llb\llb2Image.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\bdd\llb\llb3Image.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\bdd\llb\llb3Nonlin.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\bdd\llb\llb4Cex.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\bdd\llb\llb4Cluster.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\bdd\llb\llb4Image.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\bdd\llb\llb4Map.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\bdd\llb\llb4Nonlin.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\bdd\llb\llb4Sweep.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\bdd\llb\llbInt.h
+# End Source File
+# End Group
+# Begin Group "extrab"
+
+# PROP Default_Filter ""
+# Begin Source File
+
+SOURCE=.\src\bdd\extrab\extraBdd.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\bdd\extrab\extraBddAuto.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\bdd\extrab\extraBddCas.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\bdd\extrab\extraBddImage.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\bdd\extrab\extraBddKmap.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\bdd\extrab\extraBddMisc.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\bdd\extrab\extraBddSymm.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\bdd\extrab\extraBddTime.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\bdd\extrab\extraBddUnate.c
+# End Source File
+# End Group
 # End Group
 # Begin Group "sat"
 
@@ -2899,42 +3047,6 @@ SOURCE=.\src\misc\extra\extra.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\misc\extra\extraBdd.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\misc\extra\extraBddAuto.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\misc\extra\extraBddCas.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\misc\extra\extraBddImage.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\misc\extra\extraBddKmap.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\misc\extra\extraBddMisc.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\misc\extra\extraBddSymm.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\misc\extra\extraBddTime.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\misc\extra\extraBddUnate.c
-# End Source File
-# Begin Source File
-
 SOURCE=.\src\misc\extra\extraUtilBitMatrix.c
 # End Source File
 # Begin Source File
@@ -3486,6 +3598,22 @@ SOURCE=.\src\misc\tim\timTime.c
 SOURCE=.\src\misc\tim\timTrav.c
 # End Source File
 # End Group
+# Begin Group "parse"
+
+# PROP Default_Filter ""
+# Begin Source File
+
+SOURCE=.\src\misc\parse\parseEqn.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\misc\parse\parseInt.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\misc\parse\parseStack.c
+# End Source File
+# End Group
 # End Group
 # Begin Group "ai"
 
@@ -4438,30 +4566,6 @@ SOURCE=.\src\bool\rpo\rpo.h
 # Begin Group "prove"
 
 # PROP Default_Filter ""
-# Begin Group "bbr"
-
-# PROP Default_Filter ""
-# Begin Source File
-
-SOURCE=.\src\proof\bbr\bbr.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\bbr\bbrCex.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\bbr\bbrImage.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\bbr\bbrNtbdd.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\bbr\bbrReach.c
-# End Source File
-# End Group
 # Begin Group "cec"
 
 # PROP Default_Filter ""
@@ -4810,118 +4914,6 @@ SOURCE=.\src\proof\live\ltl_parser.c
 SOURCE=.\src\proof\live\monotone.c
 # End Source File
 # End Group
-# Begin Group "llb"
-
-# PROP Default_Filter ""
-# Begin Source File
-
-SOURCE=.\src\proof\llb\llb.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\llb\llb.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\llb\llb1Cluster.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\llb\llb1Constr.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\llb\llb1Core.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\llb\llb1Group.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\llb\llb1Hint.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\llb\llb1Man.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\llb\llb1Matrix.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\llb\llb1Pivot.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\llb\llb1Reach.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\llb\llb1Sched.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\llb\llb2Bad.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\llb\llb2Core.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\llb\llb2Driver.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\llb\llb2Dump.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\llb\llb2Flow.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\llb\llb2Image.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\llb\llb3Image.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\llb\llb3Nonlin.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\llb\llb4Cex.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\llb\llb4Cluster.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\llb\llb4Image.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\llb\llb4Map.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\llb\llb4Nonlin.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\llb\llb4Sweep.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\proof\llb\llbInt.h
-# End Source File
-# End Group
 # Begin Group "pdr"
 
 # PROP Default_Filter ""

src/aig/aig/aigSplit.c

@@ -22,7 +22,7 @@
 #include "aig/saig/saig.h"
 
 #ifdef ABC_USE_CUDD
-#include "misc/extra/extraBdd.h"
+#include "bdd/extrab/extraBdd.h"
 #endif
 
 ABC_NAMESPACE_IMPL_START

src/aig/gia/giaClp.c

@@ -21,7 +21,7 @@
 #include "gia.h"
 
 #ifdef ABC_USE_CUDD
-#include "misc/extra/extraBdd.h"
+#include "bdd/extrab/extraBdd.h"
 #include "bdd/dsd/dsd.h"
 #endif
 

src/aig/saig/saigDup.c

@@ -586,6 +586,11 @@ Aig_Man_t * Saig_ManDupCones( Aig_Man_t * pAig, int * pPos, int nPos )
 
 }
 
+#ifdef ABC_USE_CUDD
+int Aig_ManVerifyUsingBdds( Aig_Man_t * pInit, Saig_ParBbr_t * pPars ) { return 0; }
+void Bbr_ManSetDefaultParams( Saig_ParBbr_t * p ) {}
+#endif
+
 ////////////////////////////////////////////////////////////////////////
 ///                       END OF FILE                                ///
 ////////////////////////////////////////////////////////////////////////

src/base/abc/abcBlifMv.c

@@ -21,7 +21,7 @@
 #include "abc.h"
 
 #ifdef ABC_USE_CUDD
-#include "misc/extra/extraBdd.h"
+#include "bdd/extrab/extraBdd.h"
 #endif
 
 ABC_NAMESPACE_IMPL_START

src/base/abc/abcCheck.c

@@ -22,7 +22,7 @@
 #include "base/main/main.h"
 
 #ifdef ABC_USE_CUDD
-#include "misc/extra/extraBdd.h"
+#include "bdd/extrab/extraBdd.h"
 #endif
 
 ABC_NAMESPACE_IMPL_START

src/base/abc/abcFunc.c

@@ -23,7 +23,7 @@
 #include "map/mio/mio.h"
 
 #ifdef ABC_USE_CUDD
-#include "misc/extra/extraBdd.h"
+#include "bdd/extrab/extraBdd.h"
 #endif
 
 ABC_NAMESPACE_IMPL_START

src/base/abc/abcLatch.c

@@ -21,7 +21,7 @@
 #include "abc.h"
 
 #ifdef ABC_USE_CUDD
-#include "misc/extra/extraBdd.h"
+#include "bdd/extrab/extraBdd.h"
 #endif
 
 ABC_NAMESPACE_IMPL_START

src/base/abc/abcMinBase.c

@@ -21,7 +21,7 @@
 #include "abc.h"
 
 #ifdef ABC_USE_CUDD
-#include "misc/extra/extraBdd.h"
+#include "bdd/extrab/extraBdd.h"
 #endif
 
 ABC_NAMESPACE_IMPL_START

src/base/abc/abcNtk.c

@@ -25,7 +25,7 @@
 #include "aig/gia/gia.h"
 
 #ifdef ABC_USE_CUDD
-#include "misc/extra/extraBdd.h"
+#include "bdd/extrab/extraBdd.h"
 #endif
 
 ABC_NAMESPACE_IMPL_START

src/base/abc/abcObj.c

@@ -24,7 +24,7 @@
 #include "map/mio/mio.h"
 
 #ifdef ABC_USE_CUDD
-#include "misc/extra/extraBdd.h"
+#include "bdd/extrab/extraBdd.h"
 #endif
 
 ABC_NAMESPACE_IMPL_START

src/base/abc/abcShow.c

@@ -30,7 +30,7 @@
 #include "base/io/ioAbc.h"
 
 #ifdef ABC_USE_CUDD
-#include "misc/extra/extraBdd.h"
+#include "bdd/extrab/extraBdd.h"
 #endif
 
 ABC_NAMESPACE_IMPL_START

src/base/abc/abcUtil.c

@@ -25,7 +25,7 @@
 #include "opt/fxu/fxu.h"
 
 #ifdef ABC_USE_CUDD
-#include "misc/extra/extraBdd.h"
+#include "bdd/extrab/extraBdd.h"
 #endif
 
 ABC_NAMESPACE_IMPL_START

src/base/abci/abc.c

@@ -45,8 +45,8 @@
 #include "proof/cec/cec.h"
 #include "proof/pdr/pdr.h"
 #include "misc/tim/tim.h"
-#include "proof/llb/llb.h"
-#include "proof/bbr/bbr.h"
+#include "bdd/llb/llb.h"
+#include "bdd/bbr/bbr.h"
 #include "map/cov/cov.h"
 #include "base/cmd/cmd.h"
 #include "proof/abs/abs.h"

src/base/abci/abcAuto.c

@@ -21,7 +21,7 @@
 #include "base/abc/abc.h"
 
 #ifdef ABC_USE_CUDD
-#include "misc/extra/extraBdd.h"
+#include "bdd/extrab/extraBdd.h"
 #endif
 
 ABC_NAMESPACE_IMPL_START

src/base/abci/abcBm.c

@@ -30,7 +30,7 @@
 #include "base/abc/abc.h"
 #include "opt/sim/sim.h"
 #include "sat/bsat/satSolver.h"
-//#include "misc/extra/extraBdd.h"
+//#include "bdd/extrab/extraBdd.h"
 
 ABC_NAMESPACE_IMPL_START
 

src/base/abci/abcCas.c

@@ -21,7 +21,7 @@
 #include "base/abc/abc.h"
 
 #ifdef ABC_USE_CUDD
-#include "misc/extra/extraBdd.h"
+#include "bdd/extrab/extraBdd.h"
 #endif
 
 ABC_NAMESPACE_IMPL_START

src/base/abci/abcCascade.c

@@ -22,7 +22,7 @@
 
 #ifdef ABC_USE_CUDD
 #include "bdd/reo/reo.h"
-#include "misc/extra/extraBdd.h"
+#include "bdd/extrab/extraBdd.h"
 #endif
 
 ABC_NAMESPACE_IMPL_START

src/base/abci/abcCollapse.c

@@ -21,7 +21,7 @@
 #include "base/abc/abc.h"
 
 #ifdef ABC_USE_CUDD
-#include "misc/extra/extraBdd.h"
+#include "bdd/extrab/extraBdd.h"
 #endif
 
 ABC_NAMESPACE_IMPL_START

src/base/abci/abcDar.c

@@ -29,7 +29,7 @@
 #include "proof/dch/dch.h"
 #include "proof/ssw/ssw.h"
 #include "opt/cgt/cgt.h"
-#include "proof/bbr/bbr.h"
+#include "bdd/bbr/bbr.h"
 #include "aig/gia/gia.h"
 #include "proof/cec/cec.h"
 #include "opt/csw/csw.h"

src/base/abci/abcDsd.c

@@ -21,7 +21,7 @@
 #include "base/abc/abc.h"
 
 #ifdef ABC_USE_CUDD
-#include "misc/extra/extraBdd.h"
+#include "bdd/extrab/extraBdd.h"
 #include "bdd/dsd/dsd.h"
 #endif
 

src/base/abci/abcFpga.c

@@ -22,7 +22,7 @@
 #include "map/fpga/fpgaInt.h"
 
 #ifdef ABC_USE_CUDD
-#include "misc/extra/extraBdd.h"
+#include "bdd/extrab/extraBdd.h"
 #endif
 
 ABC_NAMESPACE_IMPL_START

src/base/abci/abcIvy.c

@@ -27,7 +27,7 @@
 #include "aig/aig/aig.h"
 
 #ifdef ABC_USE_CUDD
-#include "misc/extra/extraBdd.h"
+#include "bdd/extrab/extraBdd.h"
 #endif
 
 ABC_NAMESPACE_IMPL_START

src/base/abci/abcLutmin.c

@@ -21,7 +21,7 @@
 #include "base/abc/abc.h"
 
 #ifdef ABC_USE_CUDD
-#include "misc/extra/extraBdd.h"
+#include "bdd/extrab/extraBdd.h"
 #endif
 
 ABC_NAMESPACE_IMPL_START

src/base/abci/abcMulti.c

@@ -21,7 +21,7 @@
 #include "base/abc/abc.h"
 
 #ifdef ABC_USE_CUDD
-#include "misc/extra/extraBdd.h"
+#include "bdd/extrab/extraBdd.h"
 #endif
 
 ABC_NAMESPACE_IMPL_START

src/base/abci/abcMv.c

@@ -21,7 +21,7 @@
 #include "base/abc/abc.h"
 
 #ifdef ABC_USE_CUDD
-#include "misc/extra/extraBdd.h"
+#include "bdd/extrab/extraBdd.h"
 #endif
 
 ABC_NAMESPACE_IMPL_START

src/base/abci/abcNtbdd.c

@@ -22,7 +22,7 @@
 #include "aig/saig/saig.h"
 
 #ifdef ABC_USE_CUDD
-#include "misc/extra/extraBdd.h"
+#include "bdd/extrab/extraBdd.h"
 #endif
 
 ABC_NAMESPACE_IMPL_START
@@ -607,8 +607,6 @@ ABC_PRT( "Time", Abc_Clock() - clk );
 double Abc_NtkSpacePercentage( Abc_Obj_t * pNode ) { return 0.0; }
 Abc_Ntk_t * Abc_NtkBddToMuxes( Abc_Ntk_t * pNtk ) { return NULL; }
 
-int Aig_ManVerifyUsingBdds( Aig_Man_t * pInit, Saig_ParBbr_t * pPars ) { return 0; }
-void Bbr_ManSetDefaultParams( Saig_ParBbr_t * p ) {}
 
 #endif
 

src/base/abci/abcPrint.c

@@ -27,7 +27,7 @@
 #include "map/if/if.h"
 
 #ifdef ABC_USE_CUDD
-#include "misc/extra/extraBdd.h"
+#include "bdd/extrab/extraBdd.h"
 #endif
 
 #ifdef WIN32

src/base/abci/abcProve.c

@@ -24,7 +24,7 @@
 #include "proof/fraig/fraig.h"
 
 #ifdef ABC_USE_CUDD
-#include "misc/extra/extraBdd.h"
+#include "bdd/extrab/extraBdd.h"
 #endif
 
 ABC_NAMESPACE_IMPL_START

src/base/abci/abcReach.c

@@ -21,7 +21,7 @@
 #include "base/abc/abc.h"
 
 #ifdef ABC_USE_CUDD
-#include "misc/extra/extraBdd.h"
+#include "bdd/extrab/extraBdd.h"
 #endif
 
 ABC_NAMESPACE_IMPL_START

src/base/abci/abcReconv.c

@@ -21,7 +21,7 @@
 #include "base/abc/abc.h"
 
 #ifdef ABC_USE_CUDD
-#include "misc/extra/extraBdd.h"
+#include "bdd/extrab/extraBdd.h"
 #endif
 
 ABC_NAMESPACE_IMPL_START

src/base/abci/abcRefactor.c

@@ -22,7 +22,7 @@
 #include "bool/dec/dec.h"
 
 #ifdef ABC_USE_CUDD
-#include "misc/extra/extraBdd.h"
+#include "bdd/extrab/extraBdd.h"
 #endif
 
 ABC_NAMESPACE_IMPL_START

src/base/abci/abcRenode.c

@@ -23,7 +23,7 @@
 #include "bool/kit/kit.h"
 
 #ifdef ABC_USE_CUDD
-#include "misc/extra/extraBdd.h"
+#include "bdd/extrab/extraBdd.h"
 #include "bdd/reo/reo.h"
 #endif
 

src/base/abci/abcRestruct.c

@@ -23,7 +23,7 @@
 #include "opt/cut/cut.h"
 
 #ifdef ABC_USE_CUDD
-#include "misc/extra/extraBdd.h"
+#include "bdd/extrab/extraBdd.h"
 #include "bdd/dsd/dsd.h"
 #endif
 

src/base/abci/abcSat.c

@@ -24,7 +24,7 @@
 #include "sat/bsat/satSolver.h"
 
 #ifdef ABC_USE_CUDD
-#include "misc/extra/extraBdd.h"
+#include "bdd/extrab/extraBdd.h"
 #endif
 
 ABC_NAMESPACE_IMPL_START

src/base/abci/abcSweep.c

@@ -23,7 +23,7 @@
 #include "proof/fraig/fraig.h"
 
 #ifdef ABC_USE_CUDD
-#include "misc/extra/extraBdd.h"
+#include "bdd/extrab/extraBdd.h"
 #endif
 
 ABC_NAMESPACE_IMPL_START

src/base/abci/abcSymm.c

@@ -22,7 +22,7 @@
 #include "opt/sim/sim.h"
 
 #ifdef ABC_USE_CUDD
-#include "misc/extra/extraBdd.h"
+#include "bdd/extrab/extraBdd.h"
 #endif
 
 ABC_NAMESPACE_IMPL_START

src/base/abci/abcUnate.c

@@ -21,7 +21,7 @@
 #include "base/abc/abc.h"
 
 #ifdef ABC_USE_CUDD
-#include "misc/extra/extraBdd.h"
+#include "bdd/extrab/extraBdd.h"
 #endif
 
 ABC_NAMESPACE_IMPL_START

src/base/abci/abcUnreach.c

@@ -21,7 +21,7 @@
 #include "base/abc/abc.h"
 
 #ifdef ABC_USE_CUDD
-#include "misc/extra/extraBdd.h"
+#include "bdd/extrab/extraBdd.h"
 #endif
 
 ABC_NAMESPACE_IMPL_START

src/base/io/ioWritePla.c

@@ -21,7 +21,7 @@
 #include "ioAbc.h"
 
 #ifdef ABC_USE_CUDD
-#include "misc/extra/extraBdd.h"
+#include "bdd/extrab/extraBdd.h"
 #endif
 
 ABC_NAMESPACE_IMPL_START

src/base/main/mainFrame.c

@@ -24,7 +24,7 @@
 #include "map/if/if.h"
 
 #ifdef ABC_USE_CUDD
-#include "misc/extra/extraBdd.h"
+#include "bdd/extrab/extraBdd.h"
 #endif
 
 ABC_NAMESPACE_IMPL_START

src/base/main/mainInt.h

@@ -35,7 +35,7 @@
 #include "proof/fra/fra.h"
 
 #ifdef ABC_USE_CUDD
-#include "misc/extra/extraBdd.h"
+#include "bdd/extrab/extraBdd.h"
 #endif
 
 ABC_NAMESPACE_HEADER_START

src/bdd/cas/casCore.c

@@ -24,7 +24,7 @@
 
 #include "base/main/main.h"
 #include "base/cmd/cmd.h"
-#include "misc/extra/extraBdd.h"
+#include "bdd/extrab/extraBdd.h"
 #include "cas.h"
 
 ABC_NAMESPACE_IMPL_START

src/bdd/cas/casDec.c

@@ -22,7 +22,7 @@
 #include <string.h>
 #include <stdlib.h>
 
-#include "misc/extra/extraBdd.h"
+#include "bdd/extrab/extraBdd.h"
 #include "cas.h"
 
 ABC_NAMESPACE_IMPL_START

src/bdd/dsd/dsdInt.h

@@ -20,7 +20,7 @@
 #define ABC__bdd__dsd__dsdInt_h
 
 
-#include "misc/extra/extraBdd.h"
+#include "bdd/extrab/extraBdd.h"
 #include "dsd.h"
 
 ABC_NAMESPACE_HEADER_START

src/bdd/reo/reo.h

@@ -22,7 +22,7 @@
 
 #include <stdio.h>
 #include <stdlib.h>
-#include "misc/extra/extraBdd.h"
+#include "bdd/extrab/extraBdd.h"
 
 ////////////////////////////////////////////////////////////////////////
 ///                     MACRO DEFINITIONS                            ///

src/bool/dec/decFactor.c

@@ -22,7 +22,7 @@
 #include "dec.h"
 
 #ifdef ABC_USE_CUDD
-#include "misc/extra/extraBdd.h"
+#include "bdd/extrab/extraBdd.h"
 #endif
 
 ABC_NAMESPACE_IMPL_START

src/bool/dec/decUtil.c

@@ -20,7 +20,7 @@
 #include "dec.h"
 
 #ifdef ABC_USE_CUDD
-#include "misc/extra/extraBdd.h"
+#include "bdd/extrab/extraBdd.h"
 #endif
 
 ABC_NAMESPACE_IMPL_START

src/bool/kit/kit.h

@@ -35,7 +35,7 @@
 #include "cloud.h"
 
 #ifdef ABC_USE_CUDD
-#include "misc/extra/extraBdd.h"
+#include "bdd/extrab/extraBdd.h"
 #endif
 
 ////////////////////////////////////////////////////////////////////////

src/misc/extra/module.make

@@ -1,12 +1,4 @@
-SRC +=    src/misc/extra/extraBddAuto.c \
-    src/misc/extra/extraBddCas.c \
-    src/misc/extra/extraBddImage.c \
-    src/misc/extra/extraBddKmap.c \
-    src/misc/extra/extraBddMisc.c \
-    src/misc/extra/extraBddSymm.c \
-    src/misc/extra/extraBddTime.c \
-    src/misc/extra/extraBddUnate.c \
-    src/misc/extra/extraUtilBitMatrix.c \
+SRC +=    src/misc/extra/extraUtilBitMatrix.c \
     src/misc/extra/extraUtilCanon.c \
     src/misc/extra/extraUtilCube.c \
     src/misc/extra/extraUtilDsd.c \

src/proof/abs/absOldRef.c

@@ -21,7 +21,7 @@
 #include "abs.h"
 #include "proof/ssw/ssw.h"
 #include "proof/fra/fra.h"
-#include "proof/bbr/bbr.h"
+#include "bdd/bbr/bbr.h"
 #include "proof/pdr/pdr.h"
 #include "sat/bmc/bmc.h"
 

src/proof/fra/fraSec.c

@@ -23,7 +23,7 @@
 #include "proof/int/int.h"
 #include "proof/ssw/ssw.h"
 #include "aig/saig/saig.h"
-#include "proof/bbr/bbr.h"
+#include "bdd/bbr/bbr.h"
 #include "proof/pdr/pdr.h"
 
 ABC_NAMESPACE_IMPL_START