From caa2227b1127802e4b35f296106ca19e113ea601 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 25 Feb 2014 22:41:34 -0800
Subject: Changes to LUT mappers.

---
 src/base/abci/abc.c    | 4 ++--
 src/base/abci/abcDec.c | 9 ++++++---
 2 files changed, 8 insertions(+), 5 deletions(-)

(limited to 'src/base/abci')

diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index b170bfc4..6db36aa0 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -2201,7 +2201,7 @@ int Abc_CommandPrintDsd( Abc_Frame_t * pAbc, int argc, char ** argv )
 
     extern void Kit_DsdTest( unsigned * pTruth, int nVars );
     extern void Kit_DsdPrintCofactors( unsigned * pTruth, int nVars, int nCofLevel, int fVerbose );
-    extern void Dau_DecTrySets( word * p, int nVars );
+    extern void Dau_DecTrySets( word * p, int nVars, int fVerbose );
 
     // set defaults
     nCofLevel = 1;
@@ -2274,7 +2274,7 @@ int Abc_CommandPrintDsd( Abc_Frame_t * pAbc, int argc, char ** argv )
 //        Extra_PrintBinary( stdout, pTruth, 1 << Abc_ObjFaninNum(pObj) );
 //        Abc_Print( -1, "\n" );
         if ( fPrintDec )//&&Abc_ObjFaninNum(pObj) <= 6 )
-            Dau_DecTrySets( (word *)pTruth, Abc_ObjFaninNum(pObj) );
+            Dau_DecTrySets( (word *)pTruth, Abc_ObjFaninNum(pObj), 1 );
         if ( fProfile )
             Kit_TruthPrintProfile( pTruth, Abc_ObjFaninNum(pObj) );
         else if ( fCofactor )
diff --git a/src/base/abci/abcDec.c b/src/base/abci/abcDec.c
index 873ef876..3ed73c26 100644
--- a/src/base/abci/abcDec.c
+++ b/src/base/abci/abcDec.c
@@ -25,6 +25,7 @@
 #include "bool/dec/dec.h"
 #include "bool/kit/kit.h"
 #include "opt/dau/dau.h"
+#include "misc/util/utilTruth.h"
 
 ABC_NAMESPACE_IMPL_START
 
@@ -564,11 +565,13 @@ void Abc_TruthDecPerform( Abc_TtStore_t * p, int DecType, int fVerbose )
     {
         for ( i = 0; i < p->nFuncs; i++ )
         {
-            extern void Dau_DecTrySets( word * pInit, int nVars );
+            extern void Dau_DecTrySets( word * pInit, int nVars, int fVerbose );
+            int nSuppSize = Abc_TtSupportSize( p->pFuncs[i], p->nVars );
             if ( fVerbose )
                 printf( "%7d :      ", i );
-            Dau_DecTrySets( p->pFuncs[i], p->nVars );
-            printf( "\n" );
+            Dau_DecTrySets( p->pFuncs[i], nSuppSize, fVerbose );
+            if ( fVerbose )
+                printf( "\n" );
         }
     }
     else assert( 0 );
-- 
cgit v1.2.3