diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-06 21:48:15 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-06 21:48:15 -0800 |
| commit | a8a08035f575545d660612ae77b58ef620fba67f (patch) | |
| tree | c02e2317f4c87ec51db46b08f35c95c81263c7cd /src/map/if | |
| parent | 839632140e675c628e08a00dc904b6d7cb877ba0 (diff) | |
| download | abc-a8a08035f575545d660612ae77b58ef620fba67f.tar.gz abc-a8a08035f575545d660612ae77b58ef620fba67f.tar.bz2 abc-a8a08035f575545d660612ae77b58ef620fba67f.zip | |
Changes to LUT mappers.
Diffstat (limited to 'src/map/if')
| -rw-r--r-- | src/map/if/if.h | 2 | ||||
| -rw-r--r-- | src/map/if/ifDsd.c | 8 |
2 files changed, 5 insertions, 5 deletions
diff --git a/src/map/if/if.h b/src/map/if/if.h index 8693e74e..60bdfa3c 100644 --- a/src/map/if/if.h +++ b/src/map/if/if.h @@ -519,7 +519,7 @@ extern int If_CluCheckExt3( void * p, word * pTruth, int nVars, int /*=== ifDsd.c =============================================================*/ extern If_DsdMan_t * If_DsdManAlloc( int nVars, int nLutSize ); extern void If_DsdManDump( If_DsdMan_t * p ); -extern void If_DsdManPrint( If_DsdMan_t * p, char * pFileName, int fVerbose ); +extern void If_DsdManPrint( If_DsdMan_t * p, char * pFileName, int Number, int fVerbose ); extern void If_DsdManTune( If_DsdMan_t * p, int LutSize, int fFast, int fSpec, int fVerbose ); extern void If_DsdManFree( If_DsdMan_t * p, int fVerbose ); extern void If_DsdManSave( If_DsdMan_t * p, char * pFileName ); diff --git a/src/map/if/ifDsd.c b/src/map/if/ifDsd.c index e1a4f2b5..df2e3cfe 100644 --- a/src/map/if/ifDsd.c +++ b/src/map/if/ifDsd.c @@ -220,7 +220,7 @@ void If_DsdManFree( If_DsdMan_t * p, int fVerbose ) int v; // If_DsdManDump( p ); if ( fVerbose ) - If_DsdManPrint( p, NULL, 0 ); + If_DsdManPrint( p, NULL, 0, 0 ); if ( fVerbose ) Vec_MemDumpTruthTables( p->vTtMem, "dumpdsd", p->nVars ); for ( v = 2; v < p->nVars; v++ ) @@ -396,7 +396,7 @@ void If_DsdManPrintDistrib( If_DsdMan_t * p ) printf( "(%6.2f %%)", 100.0 * CountNonTotal / Vec_PtrSize(p->vObjs) ); printf( "\n" ); } -void If_DsdManPrint( If_DsdMan_t * p, char * pFileName, int fVerbose ) +void If_DsdManPrint( If_DsdMan_t * p, char * pFileName, int Number, int fVerbose ) { If_DsdObj_t * pObj; int i, DsdMax = 0, CountUsed = 0, CountNonDsdStr = 0, CountMarked = 0; @@ -441,8 +441,8 @@ void If_DsdManPrint( If_DsdMan_t * p, char * pFileName, int fVerbose ) return; If_DsdVecForEachObj( p->vObjs, pObj, i ) { -// if ( i == 50 ) -// break; + if ( Number && i % Number ) + continue; If_DsdManPrintOne( pFile, p, pObj->Id, NULL, 1 ); } fprintf( pFile, "\n" ); |