From fdba646b64d972bfb1830c6fc269bc8e0b9d93d0 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 23 Feb 2013 17:13:42 -0800
Subject: Integrating sweeping information.

---
 src/aig/gia/giaAiger.c | 13 ++++++++-----
 src/aig/gia/giaSweep.c |  6 ++++++
 2 files changed, 14 insertions(+), 5 deletions(-)

(limited to 'src/aig')

diff --git a/src/aig/gia/giaAiger.c b/src/aig/gia/giaAiger.c
index 0e9172c8..29bcddfa 100644
--- a/src/aig/gia/giaAiger.c
+++ b/src/aig/gia/giaAiger.c
@@ -25,6 +25,7 @@
 
 ABC_NAMESPACE_IMPL_START
 
+#define XAIG_VERBOSE 0
 
 ////////////////////////////////////////////////////////////////////////
 ///                        DECLARATIONS                              ///
@@ -495,7 +496,7 @@ Gia_Man_t * Gia_AigerReadFromMemory( char * pContents, int nFileSize, int fSkipS
     // check if there are other types of information to read
     if ( pCur + 1 < (unsigned char *)pContents + nFileSize && *pCur == 'c' )
     {
-        int fVerbose = 0;
+        int fVerbose = XAIG_VERBOSE;
         Vec_Str_t * vStr;
         unsigned char * pCurTemp;
         pCur++;
@@ -967,7 +968,7 @@ Vec_Str_t * Gia_AigerWriteIntoMemoryStrPart( Gia_Man_t * p, Vec_Int_t * vCis, Ve
 ***********************************************************************/
 void Gia_AigerWrite( Gia_Man_t * pInit, char * pFileName, int fWriteSymbols, int fCompact )
 {
-    int fVerbose = 0;
+    int fVerbose = XAIG_VERBOSE;
     FILE * pFile;
     Gia_Man_t * p;
     Gia_Obj_t * pObj;
@@ -996,9 +997,11 @@ void Gia_AigerWrite( Gia_Man_t * pInit, char * pFileName, int fWriteSymbols, int
     {
 //        printf( "Gia_AigerWrite(): Normalizing AIG for writing.\n" );
         p = Gia_ManDupNormalize( pInit );
-        p->pManTime  = pInit->pManTime;  pInit->pManTime = NULL;
-        p->vNamesIn  = pInit->vNamesIn;  pInit->vNamesIn = NULL;
-        p->vNamesOut = pInit->vNamesOut; pInit->vNamesOut = NULL;
+        p->pManTime   = pInit->pManTime;   pInit->pManTime   = NULL;
+        p->vNamesIn   = pInit->vNamesIn;   pInit->vNamesIn   = NULL;
+        p->vNamesOut  = pInit->vNamesOut;  pInit->vNamesOut  = NULL;
+        p->pAigExtra  = pInit->pAigExtra;  pInit->pAigExtra  = NULL;
+        p->nAnd2Delay = pInit->nAnd2Delay; pInit->nAnd2Delay = 0;
     }
     else
         p = pInit;
diff --git a/src/aig/gia/giaSweep.c b/src/aig/gia/giaSweep.c
index ac52fe9c..4ef8725e 100644
--- a/src/aig/gia/giaSweep.c
+++ b/src/aig/gia/giaSweep.c
@@ -326,6 +326,12 @@ Gia_Man_t * Gia_ManFraigSweep( Gia_Man_t * p, void * pPars )
     pTemp->pManTime  = NULL;
     pTemp->pAigExtra = NULL;
     Gia_ManStop( pTemp );
+    // normalize the result
+    pNew = Gia_ManDupNormalize( pTemp = pNew );
+    pNew->pManTime   = pTemp->pManTime;   pTemp->pManTime   = NULL;
+    pNew->pAigExtra  = pTemp->pAigExtra;  pTemp->pAigExtra  = NULL;
+    pNew->nAnd2Delay = pTemp->nAnd2Delay; pTemp->nAnd2Delay = 0;
+    Gia_ManStop( pTemp );
     // return the result
     assert( pNew->pManTime  != NULL );
     assert( pNew->pAigExtra != NULL );
-- 
cgit v1.2.3