diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-05-18 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-05-18 08:01:00 -0700 |
| commit | 8b24f6bff92d93c3a4def93b8872105c861d1285 (patch) | |
| tree | ebef4201d43a1d8bf27f6bc1d703b8e28dad2157 /src/aig/ntl | |
| parent | 4d37d4d92fbc69a67a4e22af80a2acc42dff5e63 (diff) | |
| download | abc-8b24f6bff92d93c3a4def93b8872105c861d1285.tar.gz abc-8b24f6bff92d93c3a4def93b8872105c861d1285.tar.bz2 abc-8b24f6bff92d93c3a4def93b8872105c861d1285.zip | |
Version abc80518
Diffstat (limited to 'src/aig/ntl')
| -rw-r--r-- | src/aig/ntl/ntlExtract.c | 2 | ||||
| -rw-r--r-- | src/aig/ntl/ntlFraig.c | 8 |
2 files changed, 5 insertions, 5 deletions
diff --git a/src/aig/ntl/ntlExtract.c b/src/aig/ntl/ntlExtract.c index a6fb58ae..be6626df 100644 --- a/src/aig/ntl/ntlExtract.c +++ b/src/aig/ntl/ntlExtract.c @@ -715,7 +715,7 @@ Aig_Man_t * Ntl_ManCollapseForSec( Ntl_Man_t * p1, Ntl_Man_t * p2 ) pMiter = Aig_Miter(pAig, vPairs); Vec_PtrFree( vPairs ); Aig_ObjPatchFanin0( pAig, Aig_ManPo(pAig,0), pMiter ); - pAig->nRegs = Ntl_ModelLatchNum( pRoot1 ) + Ntl_ModelLatchNum( pRoot2 ); + Aig_ManSetRegNum( pAig, Ntl_ModelLatchNum( pRoot1 ) + Ntl_ModelLatchNum( pRoot2 ) ); Aig_ManCleanup( pAig ); return pAig; } diff --git a/src/aig/ntl/ntlFraig.c b/src/aig/ntl/ntlFraig.c index 1b135212..6de41679 100644 --- a/src/aig/ntl/ntlFraig.c +++ b/src/aig/ntl/ntlFraig.c @@ -312,7 +312,7 @@ Ntl_Man_t * Ntl_ManScl( Ntl_Man_t * p, int fLatchConst, int fLatchEqual, int fVe pAigCol = Ntl_ManCollapse( pNew, 1 ); // perform SCL for the given design - pAigCol->nRegs = Ntl_ModelLatchNum(Ntl_ManRootModel(p)); + Aig_ManSetRegNum( pAigCol, Ntl_ModelLatchNum(Ntl_ManRootModel(p)) ); pTemp = Aig_ManScl( pAigCol, fLatchConst, fLatchEqual, fVerbose ); Aig_ManStop( pTemp ); @@ -346,7 +346,7 @@ Ntl_Man_t * Ntl_ManLcorr( Ntl_Man_t * p, int nConfMax, int fVerbose ) pAigCol = Ntl_ManCollapse( pNew, 1 ); // perform SCL for the given design - pAigCol->nRegs = Ntl_ModelLatchNum(Ntl_ManRootModel(p)); + Aig_ManSetRegNum( pAigCol, Ntl_ModelLatchNum(Ntl_ManRootModel(p)) ); pTemp = Fra_FraigLatchCorrespondence( pAigCol, 0, nConfMax, 0, fVerbose, NULL, 0 ); Aig_ManStop( pTemp ); @@ -380,7 +380,7 @@ Ntl_Man_t * Ntl_ManSsw( Ntl_Man_t * p, Fra_Ssw_t * pPars ) pAigCol = Ntl_ManCollapse( pNew, 1 ); // perform SCL for the given design - pAigCol->nRegs = Ntl_ModelLatchNum(Ntl_ManRootModel(p)); + Aig_ManSetRegNum( pAigCol, Ntl_ModelLatchNum(Ntl_ManRootModel(p)) ); pTemp = Fra_FraigInduction( pAigCol, pPars ); Aig_ManStop( pTemp ); @@ -555,7 +555,7 @@ Ntl_Man_t * Ntl_ManSsw2( Ntl_Man_t * p, Fra_Ssw_t * pPars ) Aig_Man_t * pAigRed, * pAigCol; // collapse the AIG pAigCol = Ntl_ManCollapse( p, 1 ); - pAigCol->nRegs = Ntl_ModelLatchNum(Ntl_ManRootModel(p)); + Aig_ManSetRegNum( pAigCol, Ntl_ModelLatchNum(Ntl_ManRootModel(p)) ); // transform the collapsed AIG pAigRed = Fra_FraigInduction( pAigCol, pPars ); Aig_ManStop( pAigRed ); |