Version abc60824

1 files changed, 1 insertions, 41 deletions

diff --git a/src/base/abci/abcClpBdd.c b/src/base/abci/abcClpBdd.c
index 1de087e8..650f379f 100644
--- a/src/base/abci/abcClpBdd.c
+++ b/src/base/abci/abcClpBdd.c
@@ -25,7 +25,6 @@
 ////////////////////////////////////////////////////////////////////////
 
 static Abc_Ntk_t * Abc_NtkFromGlobalBdds( Abc_Ntk_t * pNtk );
-static Abc_Ntk_t * Abc_NtkFromGlobalBddsDual( Abc_Ntk_t * pNtk );
 static Abc_Obj_t * Abc_NodeFromGlobalBdds( Abc_Ntk_t * pNtkNew, DdManager * dd, DdNode * bFunc );
 
 ////////////////////////////////////////////////////////////////////////
@@ -59,10 +58,7 @@ Abc_Ntk_t * Abc_NtkCollapse( Abc_Ntk_t * pNtk, int fBddSizeMax, int fDualRail, i
     }
 
     // create the new network
-    if ( fDualRail )
-        pNtkNew = Abc_NtkFromGlobalBddsDual( pNtk );
-    else
-        pNtkNew = Abc_NtkFromGlobalBdds( pNtk );
+    pNtkNew = Abc_NtkFromGlobalBdds( pNtk );
     Abc_NtkFreeGlobalBdds( pNtk );
     if ( pNtkNew == NULL )
     {
@@ -134,42 +130,6 @@ Abc_Ntk_t * Abc_NtkFromGlobalBdds( Abc_Ntk_t * pNtk )
   SeeAlso     []
 
 ***********************************************************************/
-Abc_Ntk_t * Abc_NtkFromGlobalBddsDual( Abc_Ntk_t * pNtk )
-{
-    ProgressBar * pProgress;
-    Abc_Ntk_t * pNtkNew;
-    Abc_Obj_t * pNode, * pNodeNew;
-    DdManager * dd = pNtk->pManGlob;
-    int i;
-    // start the new network
-    pNtkNew = Abc_NtkStartFromDual( pNtk, ABC_NTK_LOGIC, ABC_FUNC_BDD );
-    // make sure the new manager has the same number of inputs
-    Cudd_bddIthVar( pNtkNew->pManFunc, dd->size-1 );
-    // process the POs
-    pProgress = Extra_ProgressBarStart( stdout, Abc_NtkCoNum(pNtk) );
-    Abc_NtkForEachCo( pNtk, pNode, i )
-    {
-        Extra_ProgressBarUpdate( pProgress, i, NULL );
-        pNodeNew = Abc_NodeFromGlobalBdds( pNtkNew, dd, Cudd_Not( Vec_PtrEntry(pNtk->vFuncsGlob, i) ) );
-        Abc_ObjAddFanin( pNode->pCopy->pCopy, pNodeNew );
-        pNodeNew = Abc_NodeFromGlobalBdds( pNtkNew, dd, Vec_PtrEntry(pNtk->vFuncsGlob, i) );
-        Abc_ObjAddFanin( pNode->pCopy, pNodeNew );
-    }
-    Extra_ProgressBarStop( pProgress );
-    return pNtkNew;
-}
-
-/**Function*************************************************************
-
-  Synopsis    [Derives the network with the given global BDD.]
-
-  Description []
-               
-  SideEffects []
-
-  SeeAlso     []
-
-***********************************************************************/
 Abc_Obj_t * Abc_NodeFromGlobalBdds( Abc_Ntk_t * pNtkNew, DdManager * dd, DdNode * bFunc )
 {
     Abc_Obj_t * pNodeNew, * pTemp;