diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-07-23 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-07-23 08:01:00 -0700 |
| commit | 64dc240b904adafee78e2a66a1fc31b717f8985f (patch) | |
| tree | 3632887450b37c4dcac6f6cbac08d42e9512c440 /src/aig/dar/darCore.c | |
| parent | 1647addf5e3ce4f82cc35cd4983bc5f7b9730290 (diff) | |
| download | abc-64dc240b904adafee78e2a66a1fc31b717f8985f.tar.gz abc-64dc240b904adafee78e2a66a1fc31b717f8985f.tar.bz2 abc-64dc240b904adafee78e2a66a1fc31b717f8985f.zip | |
Version abc70723
Diffstat (limited to 'src/aig/dar/darCore.c')
| -rw-r--r-- | src/aig/dar/darCore.c | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/src/aig/dar/darCore.c b/src/aig/dar/darCore.c index e7186e83..7546df0b 100644 --- a/src/aig/dar/darCore.c +++ b/src/aig/dar/darCore.c @@ -39,15 +39,15 @@ SeeAlso [] ***********************************************************************/ -void Dar_ManDefaultParams( Dar_Par_t * pPars ) +void Dar_ManDefaultRwrParams( Dar_RwrPar_t * pPars ) { - memset( pPars, 0, sizeof(Dar_Par_t) ); - pPars->nCutsMax = 8; - pPars->nSubgMax = 5; // 5 is a "magic number" - pPars->fUpdateLevel = 0; - pPars->fUseZeros = 0; - pPars->fVerbose = 0; - pPars->fVeryVerbose = 0; + memset( pPars, 0, sizeof(Dar_RwrPar_t) ); + pPars->nCutsMax = 8; + pPars->nSubgMax = 5; // 5 is a "magic number" + pPars->fUpdateLevel = 0; + pPars->fUseZeros = 0; + pPars->fVerbose = 0; + pPars->fVeryVerbose = 0; } /**Function************************************************************* @@ -61,7 +61,7 @@ void Dar_ManDefaultParams( Dar_Par_t * pPars ) SeeAlso [] ***********************************************************************/ -int Dar_ManRewrite( Aig_Man_t * pAig, Dar_Par_t * pPars ) +int Dar_ManRewrite( Aig_Man_t * pAig, Dar_RwrPar_t * pPars ) { Dar_Man_t * p; ProgressBar * pProgress; @@ -128,7 +128,7 @@ p->timeCuts += clock() - clk; // evaluate the cuts p->GainBest = -1; - Required = 1000000; + Required = pAig->vLevelR? Aig_ObjRequiredLevel(pAig, pObj) : AIG_INFINITY; Dar_ObjForEachCut( pObj, pCut, k ) Dar_LibEval( p, pObj, pCut, Required ); // check the best gain |