From eb35f0ef65681f11e7da9c378d8b937d05e3dc03 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 9 Dec 2011 01:05:18 -0800
Subject: Added support for generating a library of real-life truth-tables.

---
 src/base/abci/abcRec.c | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'src/base/abci')

diff --git a/src/base/abci/abcRec.c b/src/base/abci/abcRec.c
index a9255ce6..1b9700f1 100644
--- a/src/base/abci/abcRec.c
+++ b/src/base/abci/abcRec.c
@@ -284,20 +284,21 @@ p->timeTotal += clock() - clkTotal;
 ***********************************************************************/
 void Abc_NtkRecDumpTruthTables( Abc_ManRec_t * p )
 {
+    int nVars = 10;
     FILE * pFile;
     Abc_Obj_t * pObj;
     unsigned * pTruth;
     int i;
-    pFile = fopen( "tt16.txt", "wb" );
+    pFile = fopen( "tt10.txt", "wb" );
     for ( i = 0; i < p->nBins; i++ )
         for ( pObj = p->pBins[i]; pObj; pObj = pObj->pCopy )
         {
             pTruth = Vec_PtrEntry(p->vTtNodes, pObj->Id);
-            if ( Kit_TruthSupport(pTruth, 16) != (1<<16)-1 )
+            if ( (int)Kit_TruthSupport(pTruth, nVars) != (1<<nVars)-1 )
                 continue;
-            Extra_PrintHex( pFile, pTruth, 16 );
+            Extra_PrintHex( pFile, pTruth, nVars );
             fprintf( pFile, " " );
-            Kit_DsdPrintFromTruth2( pFile, pTruth, 16 );
+            Kit_DsdPrintFromTruth2( pFile, pTruth, nVars );
             fprintf( pFile, "\n" );
         }
     fclose( pFile );
@@ -317,8 +318,7 @@ void Abc_NtkRecDumpTruthTables( Abc_ManRec_t * p )
 void Abc_NtkRecStop()
 {
     assert( s_pMan != NULL );
-    Abc_NtkRecDumpTruthTables( s_pMan );
-
+//    Abc_NtkRecDumpTruthTables( s_pMan );
     if ( s_pMan->pNtk )
         Abc_NtkDelete( s_pMan->pNtk );
 //    Vec_PtrFree( s_pMan->vTtNodes );
-- 
cgit v1.2.3