fix build

abclib.dsp

@@ -5107,6 +5107,14 @@ SOURCE=.\src\aig\gia\giaMuxes.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\aig\gia\giaNewBdd.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\gia\giaNewTt.h
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\aig\gia\giaNf.c
 # End Source File
 # Begin Source File
@@ -5303,6 +5311,14 @@ SOURCE=.\src\aig\gia\giaTtopt.cpp
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\aig\gia\giaTransduction.cpp
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\gia\giaTransduction.h
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\aig\gia\giaUnate.c
 # End Source File
 # Begin Source File

src/aig/gia/giaNewBdd.h

@@ -137,20 +137,36 @@ namespace NewBdd {
   };
 
   struct Param {
-    int    nObjsAllocLog  = 20;
-    int    nObjsMaxLog    = 25;
-    int    nUniqueSizeLog = 10;
-    double UniqueDensity  = 4;
-    int    nCacheSizeLog  = 15;
-    int    nCacheMaxLog   = 20;
-    int    nCacheVerbose  = 0;
-    bool   fCountOnes     = false;
-    int    nGbc           = 0;
-    bvar   nReo           = BvarMax();
-    double MaxGrowth      = 1.2;
-    bool   fReoVerbose    = false;
-    int    nVerbose       = 0;
-    std::vector<var> *pVar2Level = NULL;
+    int    nObjsAllocLog;
+    int    nObjsMaxLog;
+    int    nUniqueSizeLog;
+    double UniqueDensity;
+    int    nCacheSizeLog;
+    int    nCacheMaxLog;
+    int    nCacheVerbose;
+    bool   fCountOnes;
+    int    nGbc;
+    bvar   nReo;
+    double MaxGrowth;
+    bool   fReoVerbose;
+    int    nVerbose;
+    std::vector<var> *pVar2Level;
+    Param() {
+      nObjsAllocLog  = 20;
+      nObjsMaxLog    = 25;
+      nUniqueSizeLog = 10;
+      UniqueDensity  = 4;
+      nCacheSizeLog  = 15;
+      nCacheMaxLog   = 20;
+      nCacheVerbose  = 0;
+      fCountOnes     = false;
+      nGbc           = 0;
+      nReo           = BvarMax();
+      MaxGrowth      = 1.2;
+      fReoVerbose    = false;
+      nVerbose       = 0;
+      pVar2Level     = NULL;
+    }
   };
 
   class Man {

src/aig/gia/giaNewTt.h

@@ -22,12 +22,20 @@ namespace NewTt {
   static inline size SizeMax() { return std::numeric_limits<size>::max(); }
 
   struct Param {
-    int  nObjsAllocLog      = 15;
-    int  nObjsMaxLog        = 20;
-    int  nVerbose           = 0;
-    bool fCountOnes         = false;
-    int  nGbc               = 0;
-    int  nReo               = BvarMax(); // dummy
+    int  nObjsAllocLog;
+    int  nObjsMaxLog;
+    int  nVerbose;
+    bool fCountOnes;
+    int  nGbc;
+    int  nReo; // dummy
+    Param() {
+      nObjsAllocLog = 15;
+      nObjsMaxLog   = 20;
+      nVerbose      = 0;
+      fCountOnes    = false;
+      nGbc          = 0;
+      nReo          = BvarMax();
+    }
   };
 
   class Man {