diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-10-27 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-10-27 08:01:00 -0700 |
| commit | d80ee832f3883bf5b848db4ab31563c07fd08b59 (patch) | |
| tree | d19e8b6775ee149a091adef54657407c342b774d /src/aig/saig/saigDup.c | |
| parent | d2b735f794575ce0f10f01bba1255cf1dc3b8aaf (diff) | |
| download | abc-d80ee832f3883bf5b848db4ab31563c07fd08b59.tar.gz abc-d80ee832f3883bf5b848db4ab31563c07fd08b59.tar.bz2 abc-d80ee832f3883bf5b848db4ab31563c07fd08b59.zip | |
Version abc81027
Diffstat (limited to 'src/aig/saig/saigDup.c')
| -rw-r--r-- | src/aig/saig/saigDup.c | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/src/aig/saig/saigDup.c b/src/aig/saig/saigDup.c index 165a08f2..61ea6ca0 100644 --- a/src/aig/saig/saigDup.c +++ b/src/aig/saig/saigDup.c @@ -108,13 +108,12 @@ Aig_Man_t * Saig_ManAbstraction( Aig_Man_t * pAig, Vec_Int_t * vFlops ) pObj->fMarkA = 0; pObj->pData = Aig_ObjCreatePi( pAigNew ); } - // add internal nodes of this frame + // add internal nodes Aig_ManForEachNode( pAig, pObj, i ) pObj->pData = Aig_And( pAigNew, Aig_ObjChild0Copy(pObj), Aig_ObjChild1Copy(pObj) ); // create POs - Aig_ManForEachPo( pAig, pObj, i ) - if ( !pObj->fMarkA ) - Aig_ObjCreatePo( pAigNew, Aig_ObjChild0Copy(pObj) ); + Saig_ManForEachPo( pAig, pObj, i ) + Aig_ObjCreatePo( pAigNew, Aig_ObjChild0Copy(pObj) ); // create LIs Aig_ManForEachPo( pAig, pObj, i ) if ( pObj->fMarkA ) @@ -122,8 +121,8 @@ Aig_Man_t * Saig_ManAbstraction( Aig_Man_t * pAig, Vec_Int_t * vFlops ) pObj->fMarkA = 0; Aig_ObjCreatePo( pAigNew, Aig_ObjChild0Copy(pObj) ); } - Aig_ManCleanup( pAigNew ); Aig_ManSetRegNum( pAigNew, Vec_IntSize(vFlops) ); + Aig_ManSeqCleanup( pAigNew ); return pAigNew; } |