From ffbe3bc5767c597b3ca612a12e671749f23ca34f Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 19 Nov 2012 23:42:05 -0800
Subject: DSD manager.

---
 src/map/if/if.h | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'src/map/if/if.h')

diff --git a/src/map/if/if.h b/src/map/if/if.h
index e8c57998..f1d78ff4 100644
--- a/src/map/if/if.h
+++ b/src/map/if/if.h
@@ -35,7 +35,7 @@
 #include "misc/mem/mem.h"
 #include "misc/tim/tim.h"
 #include "misc/util/utilNam.h"
-
+#include "opt/dau/dau.h"
 
 ABC_NAMESPACE_HEADER_START
 
@@ -189,6 +189,7 @@ struct If_Man_t_
     Vec_Int_t *        vSwitching;    // switching activity of each node
     Vec_Int_t **       pDriverCuts;   // temporary driver cuts
     int                pPerm[3][IF_MAX_LUTSIZE]; // permutations
+    unsigned           uSharedMask;   // mask of shared variables
     int                nShared;       // the number of shared variables
     // SOP balancing
     Vec_Int_t *        vCover;        // used to compute ISOP
@@ -218,8 +219,9 @@ struct If_Man_t_
     int                nCutsCount[32];
     int                nCutsCountAll;
     int                nCutsUselessAll;
-    Abc_Nam_t *        pNamDsd;
+//    Abc_Nam_t *        pNamDsd;
     int                iNamVar;
+    Dss_Man_t *        pDsdMan;
 
     // timing manager
     Tim_Man_t *        pManTim;
-- 
cgit v1.2.3