diff options
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 ); |