diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-07-31 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-07-31 08:01:00 -0700 |
| commit | 29c9b0c0c4c66cb09b7c00c5c7290141be2af6a0 (patch) | |
| tree | cd06159f7ddf9e75fc8dff354a7ef5c593b56856 /src/aig/dar/darScript.c | |
| parent | fefd8b901d89ad0d977db8896c12123cc747e3d7 (diff) | |
| download | abc-29c9b0c0c4c66cb09b7c00c5c7290141be2af6a0.tar.gz abc-29c9b0c0c4c66cb09b7c00c5c7290141be2af6a0.tar.bz2 abc-29c9b0c0c4c66cb09b7c00c5c7290141be2af6a0.zip | |
Version abc70731
Diffstat (limited to 'src/aig/dar/darScript.c')
| -rw-r--r-- | src/aig/dar/darScript.c | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/src/aig/dar/darScript.c b/src/aig/dar/darScript.c index 75076981..2fe39860 100644 --- a/src/aig/dar/darScript.c +++ b/src/aig/dar/darScript.c @@ -30,6 +30,30 @@ /**Function************************************************************* + Synopsis [Performs one iteration of AIG rewriting.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +Aig_Man_t * Dar_ManRewriteDefault( Aig_Man_t * pAig ) +{ + Aig_Man_t * pTemp; + Dar_RwrPar_t Pars, * pPars = &Pars; + Dar_ManDefaultRwrParams( pPars ); + pAig = Aig_ManDup( pTemp = pAig, 0 ); + Aig_ManStop( pTemp ); + Dar_ManRewrite( pAig, pPars ); + pAig = Aig_ManDup( pTemp = pAig, 0 ); + Aig_ManStop( pTemp ); + return pAig; +} + +/**Function************************************************************* + Synopsis [Reproduces script "compress2".] Description [] |