From e3f87e189c880251c579b9fd22c04ca70b80f63d Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 19 Feb 2015 12:57:05 -0800
Subject: Propagating changes after updating flag of 'sop'.

---
 src/base/io/ioReadBench.c | 2 +-
 src/base/io/ioUtil.c      | 8 ++++----
 src/base/io/ioWriteBlif.c | 2 +-
 src/base/io/ioWriteDot.c  | 4 ++--
 4 files changed, 8 insertions(+), 8 deletions(-)

(limited to 'src/base/io')

diff --git a/src/base/io/ioReadBench.c b/src/base/io/ioReadBench.c
index 3446aafc..fc26ecbb 100644
--- a/src/base/io/ioReadBench.c
+++ b/src/base/io/ioReadBench.c
@@ -286,7 +286,7 @@ Abc_Ntk_t * Io_ReadBenchNetwork( Extra_FileReader_t * p )
             Abc_NtkDelete( pNtk );
             return NULL;
         }
-        if ( !Abc_NtkToSop(pNtk, 0, ABC_INFINITY) )
+        if ( !Abc_NtkToSop(pNtk, -1, ABC_INFINITY) )
         {
             printf( "Io_ReadBenchNetwork(): Converting to SOP has failed.\n" );
             Abc_NtkDelete( pNtk );
diff --git a/src/base/io/ioUtil.c b/src/base/io/ioUtil.c
index c0d2897f..65705dfe 100644
--- a/src/base/io/ioUtil.c
+++ b/src/base/io/ioUtil.c
@@ -367,7 +367,7 @@ void Io_Write( Abc_Ntk_t * pNtk, char * pFileName, Io_FileType_t FileType )
             return;
         }
         if ( !Abc_NtkHasSop(pNtk) )
-            Abc_NtkToSop( pNtk, 0, ABC_INFINITY );
+            Abc_NtkToSop( pNtk, -1, ABC_INFINITY );
         Io_WriteBblif( pNtk, pFileName );
         return;
     }
@@ -433,7 +433,7 @@ void Io_Write( Abc_Ntk_t * pNtk, char * pFileName, Io_FileType_t FileType )
     if ( FileType == IO_FILE_BLIF )
     {
         if ( !Abc_NtkHasSop(pNtkTemp) && !Abc_NtkHasMapping(pNtkTemp) )
-            Abc_NtkToSop( pNtkTemp, 0, ABC_INFINITY );
+            Abc_NtkToSop( pNtkTemp, -1, ABC_INFINITY );
         Io_WriteBlif( pNtkTemp, pFileName, 1, 0, 0 );
     }
     else if ( FileType == IO_FILE_BLIFMV )
@@ -568,12 +568,12 @@ void Io_WriteHie( Abc_Ntk_t * pNtk, char * pBaseName, char * pFileName )
         {
             Vec_PtrForEachEntry( Abc_Ntk_t *, pNtkResult->pDesign->vModules, pNtkTemp, i )
                 if ( !Abc_NtkHasSop(pNtkTemp) && !Abc_NtkHasMapping(pNtkTemp) )
-                    Abc_NtkToSop( pNtkTemp, 0, ABC_INFINITY );
+                    Abc_NtkToSop( pNtkTemp, -1, ABC_INFINITY );
         }
         else
         {
             if ( !Abc_NtkHasSop(pNtkResult) && !Abc_NtkHasMapping(pNtkResult) )
-                Abc_NtkToSop( pNtkResult, 0, ABC_INFINITY );
+                Abc_NtkToSop( pNtkResult, -1, ABC_INFINITY );
         }
         Io_WriteBlif( pNtkResult, pFileName, 1, 0, 0 );
     }
diff --git a/src/base/io/ioWriteBlif.c b/src/base/io/ioWriteBlif.c
index 9dde2e58..ca7d04a9 100644
--- a/src/base/io/ioWriteBlif.c
+++ b/src/base/io/ioWriteBlif.c
@@ -1388,7 +1388,7 @@ void Io_WriteBlifSpecial( Abc_Ntk_t * pNtk, char * FileName, char * pLutStruct,
 {
     Abc_Ntk_t * pNtkTemp;
     assert( Abc_NtkIsLogic(pNtk) );
-    Abc_NtkToSop( pNtk, 0, ABC_INFINITY );
+    Abc_NtkToSop( pNtk, -1, ABC_INFINITY );
     // derive the netlist
     pNtkTemp = Abc_NtkToNetlist(pNtk);
     if ( pNtkTemp == NULL )
diff --git a/src/base/io/ioWriteDot.c b/src/base/io/ioWriteDot.c
index 339efd8f..7de6bd81 100644
--- a/src/base/io/ioWriteDot.c
+++ b/src/base/io/ioWriteDot.c
@@ -100,7 +100,7 @@ void Io_WriteDotNtk( Abc_Ntk_t * pNtk, Vec_Ptr_t * vNodes, Vec_Ptr_t * vNodesSho
     // transform logic functions from BDD to SOP
     if ( (fHasBdds = Abc_NtkIsBddLogic(pNtk)) )
     {
-        if ( !Abc_NtkBddToSop(pNtk, 0, ABC_INFINITY) )
+        if ( !Abc_NtkBddToSop(pNtk, -1, ABC_INFINITY) )
         {
             printf( "Io_WriteDotNtk(): Converting to SOPs has failed.\n" );
             return;
@@ -463,7 +463,7 @@ void Io_WriteDotSeq( Abc_Ntk_t * pNtk, Vec_Ptr_t * vNodes, Vec_Ptr_t * vNodesSho
     // transform logic functions from BDD to SOP
     if ( (fHasBdds = Abc_NtkIsBddLogic(pNtk)) )
     {
-        if ( !Abc_NtkBddToSop(pNtk, 0, ABC_INFINITY) )
+        if ( !Abc_NtkBddToSop(pNtk, -1, ABC_INFINITY) )
         {
             printf( "Io_WriteDotNtk(): Converting to SOPs has failed.\n" );
             return;
-- 
cgit v1.2.3