diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-02-25 22:41:34 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-02-25 22:41:34 -0800 |
| commit | caa2227b1127802e4b35f296106ca19e113ea601 (patch) | |
| tree | 9fb8f4f2099f829063e96b1b74ea26c803fa50eb /src/base/abci | |
| parent | 15a1c4b96507b524959d171a26b796d6263ea284 (diff) | |
| download | abc-caa2227b1127802e4b35f296106ca19e113ea601.tar.gz abc-caa2227b1127802e4b35f296106ca19e113ea601.tar.bz2 abc-caa2227b1127802e4b35f296106ca19e113ea601.zip | |
Changes to LUT mappers.
Diffstat (limited to 'src/base/abci')
| -rw-r--r-- | src/base/abci/abc.c | 4 | ||||
| -rw-r--r-- | src/base/abci/abcDec.c | 9 |
2 files changed, 8 insertions, 5 deletions
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 ); |