Improving local BDD construction from local SOPs and local AIGs.

266667d8 · Alan Mishchenko · 58e1041a · 266667d8
Commit 266667d8 authored Apr 28, 2013 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 4 additions and 1 deletions

src/base/abc/abcFunc.c
+4 -1

No files found.
--- a/src/base/abc/abcFunc.c
+++ b/src/base/abc/abcFunc.c
@@ -1029,7 +1029,10 @@ int Abc_NtkToBdd( Abc_Ntk_t * pNtk )
        return Abc_NtkSopToBdd(pNtk);
    }
    if ( Abc_NtkHasSop(pNtk) )
-        return Abc_NtkSopToBdd(pNtk);
+    {
+        Abc_NtkSopToAig(pNtk);
+        return Abc_NtkAigToBdd(pNtk);
+    }
    if ( Abc_NtkHasAig(pNtk) )
        return Abc_NtkAigToBdd(pNtk);
    assert( 0 );