Move truth table code into a separte file.

abclib.dsp

@@ -2709,6 +2709,10 @@ SOURCE=.\src\misc\util\utilSignal.h
 
 SOURCE=.\src\misc\util\utilSort.c
 # End Source File
+# Begin Source File
+
+SOURCE=.\src\misc\util\utilTruth.h
+# End Source File
 # End Group
 # Begin Group "nm"
 

src/base/abci/abcRec3.c

@@ -24,6 +24,7 @@
 #include "aig/gia/giaAig.h"
 #include "misc/vec/vecMem.h"
 #include "bool/lucky/lucky.h"
+#include "misc/util/utilTruth.h"
 
 ABC_NAMESPACE_IMPL_START
 
@@ -407,48 +408,6 @@ void Lms_GiaProfilesPrint( Gia_Man_t * p )
 
 /**Function*************************************************************
 
-  Synopsis    [Stretch truthtable to have more input variables.]
-
-  Description []
-               
-  SideEffects []
-
-  SeeAlso     []
-
-***********************************************************************/
-static void Abc_TtStretch5( unsigned * pInOut, int nVarS, int nVarB )
-{
-    int w, i, step, nWords;
-    if ( nVarS == nVarB )
-        return;
-    assert( nVarS < nVarB );
-    step = Abc_TruthWordNum(nVarS);
-    nWords = Abc_TruthWordNum(nVarB);
-    if ( step == nWords )
-        return;
-    assert( step < nWords );
-    for ( w = 0; w < nWords; w += step )
-        for ( i = 0; i < step; i++ )
-            pInOut[w + i] = pInOut[i];              
-}
-static void Abc_TtStretch6( word * pInOut, int nVarS, int nVarB )
-{
-    int w, i, step, nWords;
-    if ( nVarS == nVarB )
-        return;
-    assert( nVarS < nVarB );
-    step = Abc_Truth6WordNum(nVarS);
-    nWords = Abc_Truth6WordNum(nVarB);
-    if ( step == nWords )
-        return;
-    assert( step < nWords );
-    for ( w = 0; w < nWords; w += step )
-        for ( i = 0; i < step; i++ )
-            pInOut[w + i] = pInOut[i];              
-}
-
-/**Function*************************************************************
-
   Synopsis    [Compute support sizes for each CO.]
 
   Description []

src/map/if/if.h

@@ -535,7 +535,7 @@ extern void            If_ObjPrint( If_Obj_t * pObj );
 /*=== abcRec3.c ============================================================*/
 extern int             If_CutDelayRecCost(If_Man_t* p, If_Cut_t* pCut, If_Obj_t * pObj);
 extern int             If_CutDelayRecCost2(If_Man_t* p, If_Cut_t* pCut, If_Obj_t * pObj);
-extern int             If_CutDelayRecCost2(If_Man_t* p, If_Cut_t* pCut, If_Obj_t * pObj);
+extern int             If_CutDelayRecCost3(If_Man_t* p, If_Cut_t* pCut, If_Obj_t * pObj);
 extern ABC_DLL int     Abc_NtkRecIsRunning();
 extern ABC_DLL int     Abc_NtkRecIsRunning2();
 extern ABC_DLL int     Abc_NtkRecIsRunning3();