diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-02-23 16:08:10 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-02-23 16:08:10 -0800 |
| commit | 7802db98af7705be65f7e58986ed52afc52d4d64 (patch) | |
| tree | 525963aa8792e1c79ea84e26b703c353101e40c3 /src/aig/gia/giaSweep.c | |
| parent | 8281b56e9e2a6a9339fb2dc86711aa719055e014 (diff) | |
| download | abc-7802db98af7705be65f7e58986ed52afc52d4d64.tar.gz abc-7802db98af7705be65f7e58986ed52afc52d4d64.tar.bz2 abc-7802db98af7705be65f7e58986ed52afc52d4d64.zip | |
Integrating sweeping information.
Diffstat (limited to 'src/aig/gia/giaSweep.c')
| -rw-r--r-- | src/aig/gia/giaSweep.c | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/aig/gia/giaSweep.c b/src/aig/gia/giaSweep.c index 47d368c0..ac52fe9c 100644 --- a/src/aig/gia/giaSweep.c +++ b/src/aig/gia/giaSweep.c @@ -317,12 +317,13 @@ Gia_Man_t * Gia_ManFraigSweep( Gia_Man_t * p, void * pPars ) // derive new AIG assert( pNew->pManTime == NULL ); assert( pNew->pAigExtra == NULL ); - pNew->pManTime = p->pManTime; - pNew->pAigExtra = p->pAigExtra; + pNew->pManTime = p->pManTime; + pNew->pAigExtra = p->pAigExtra; + pNew->nAnd2Delay = p->nAnd2Delay; pNew = Gia_ManFraigCreateGia( pTemp = pNew ); assert( pTemp->pManTime == p->pManTime ); assert( pTemp->pAigExtra == p->pAigExtra ); - pTemp->pManTime = NULL; + pTemp->pManTime = NULL; pTemp->pAigExtra = NULL; Gia_ManStop( pTemp ); // return the result |