diff options
Diffstat (limited to 'src/map/if/ifMan.c')
-rw-r--r-- | src/map/if/ifMan.c | 22 |
1 files changed, 16 insertions, 6 deletions
diff --git a/src/map/if/ifMan.c b/src/map/if/ifMan.c index d03fc200..686af7ae 100644 --- a/src/map/if/ifMan.c +++ b/src/map/if/ifMan.c @@ -85,7 +85,6 @@ If_Man_t * If_ManStart( If_Par_t * pPars ) p->puTempW = p->pPars->fTruth? ABC_ALLOC( word, p->nTruth6Words ) : NULL; if ( pPars->fUseDsd ) { - p->pIfDsdMan = If_DsdManAlloc( pPars->nLutSize ); p->vTtDsds = Vec_IntAlloc( 1000 ); Vec_IntPush( p->vTtDsds, 0 ); Vec_IntPush( p->vTtDsds, 2 ); @@ -142,6 +141,15 @@ void If_ManRestart( If_Man_t * p ) ***********************************************************************/ void If_ManStop( If_Man_t * p ) { +/* + if ( p->pIfDsdMan ) + { + If_DsdMan_t * pNew; + If_DsdManSave( p->pIfDsdMan, NULL ); + pNew = If_DsdManLoad( If_DsdManFileName(p->pIfDsdMan) ); + If_DsdManFree( pNew, 1 ); + } +*/ { // extern void If_CluHashFindMedian( If_Man_t * p ); // extern void If_CluHashTableCheck( If_Man_t * p ); @@ -158,11 +166,13 @@ void If_ManStop( If_Man_t * p ) Abc_Print( 1, "Useless cuts %2d = %9d (out of %9d) (%6.2f %%)\n", i, p->nCutsUseless[i], p->nCutsCount[i], 100.0*p->nCutsUseless[i]/(p->nCutsCount[i]+1) ); Abc_Print( 1, "Useless cuts all = %9d (out of %9d) (%6.2f %%)\n", p->nCutsUselessAll, p->nCutsCountAll, 100.0*p->nCutsUselessAll/(p->nCutsCountAll+1) ); } - if ( p->pPars->fVerbose && p->nCuts5 ) - Abc_Print( 1, "Statistics about 5-cuts: Total = %d Non-decomposable = %d (%.2f %%)\n", p->nCuts5, p->nCuts5-p->nCuts5a, 100.0*(p->nCuts5-p->nCuts5a)/p->nCuts5 ); - if ( p->pPars->fUseDsd ) - If_DsdManFree( p->pIfDsdMan, p->pPars->fVerbose ); - if ( p->pPars->fUseDsd ) +// if ( p->pPars->fVerbose && p->nCuts5 ) +// Abc_Print( 1, "Statistics about 5-cuts: Total = %d Non-decomposable = %d (%.2f %%)\n", p->nCuts5, p->nCuts5-p->nCuts5a, 100.0*(p->nCuts5-p->nCuts5a)/p->nCuts5 ); +// if ( p->pPars->fUseDsd ) +// If_DsdManFree( p->pIfDsdMan, p->pPars->fVerbose ); + if ( p->pIfDsdMan ) + p->pIfDsdMan = NULL; + if ( p->pPars->fUseDsd && (p->nCountNonDec[0] || p->nCountNonDec[1]) ) printf( "NonDec0 = %d. NonDec1 = %d.\n", p->nCountNonDec[0], p->nCountNonDec[1] ); // Abc_PrintTime( 1, "Truth", p->timeTruth ); // Abc_Print( 1, "Small support = %d.\n", p->nSmallSupp ); |