From 3880623c9b23b65659db581ade13b5996a08dba0 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 12 May 2013 23:23:18 -0700
Subject: Extending cube representation to handle SOPs with many cubes.

---
 src/base/abc/abcFunc.c | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/base')

diff --git a/src/base/abc/abcFunc.c b/src/base/abc/abcFunc.c
index da096741..f43186ee 100644
--- a/src/base/abc/abcFunc.c
+++ b/src/base/abc/abcFunc.c
@@ -605,12 +605,16 @@ int Abc_CountZddCubes( DdManager * dd, DdNode * zCover )
 ***********************************************************************/
 int Abc_NtkSopToAig( Abc_Ntk_t * pNtk )
 {
+    extern int Abc_NtkMakeLegit( Abc_Ntk_t * pNtk );
     Abc_Obj_t * pNode;
     Hop_Man_t * pMan;
     int i;
 
     assert( Abc_NtkHasSop(pNtk) ); 
 
+    // make dist1-free and SCC-free
+//    Abc_NtkMakeLegit( pNtk );
+
     // start the functionality manager
     pMan = Hop_ManStart();
 
-- 
cgit v1.2.3