diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-01 13:47:51 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-01 13:47:51 +0700 |
| commit | 961f7532d703060ef2e053df1f1b7a672e7dae30 (patch) | |
| tree | 4acbe7857d51c5d80d3f2c7315ef5b80450c9723 /src/aig/saig/saigRefSat.c | |
| parent | 820a147ef1e8ff307c3d4e675001372e8f636404 (diff) | |
| download | abc-961f7532d703060ef2e053df1f1b7a672e7dae30.tar.gz abc-961f7532d703060ef2e053df1f1b7a672e7dae30.tar.bz2 abc-961f7532d703060ef2e053df1f1b7a672e7dae30.zip | |
Changing the ordering of arguments in two iterators.
Diffstat (limited to 'src/aig/saig/saigRefSat.c')
| -rw-r--r-- | src/aig/saig/saigRefSat.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/aig/saig/saigRefSat.c b/src/aig/saig/saigRefSat.c index d117c643..b2ea80a6 100644 --- a/src/aig/saig/saigRefSat.c +++ b/src/aig/saig/saigRefSat.c @@ -287,7 +287,7 @@ Aig_Man_t * Saig_ManUnrollWithCex( Aig_Man_t * pAig, Abc_Cex_t * pCex, int nInpu // collect nodes starting from the roots Aig_ManIncrementTravId( pAig ); vRoots = Vec_VecEntryInt( vFrameCos, f ); - Aig_ManForEachNodeVec( pAig, vRoots, pObj, i ) + Aig_ManForEachObjVec( vRoots, pAig, pObj, i ) Saig_ManUnrollCollect_rec( pAig, pObj, Vec_VecEntryInt(vFrameObjs, f), (Vec_Int_t *)(f ? Vec_VecEntry(vFrameCos, f-1) : NULL) ); @@ -305,7 +305,7 @@ Aig_Man_t * Saig_ManUnrollWithCex( Aig_Man_t * pAig, Abc_Cex_t * pCex, int nInpu { // construct vObjs = Vec_VecEntryInt( vFrameObjs, f ); - Aig_ManForEachNodeVec( pAig, vObjs, pObj, i ) + Aig_ManForEachObjVec( vObjs, pAig, pObj, i ) { if ( Aig_ObjIsNode(pObj) ) pObj->pData = Aig_And( pFrames, Aig_ObjChild0Copy(pObj), Aig_ObjChild1Copy(pObj) ); @@ -332,7 +332,7 @@ Aig_Man_t * Saig_ManUnrollWithCex( Aig_Man_t * pAig, Abc_Cex_t * pCex, int nInpu break; // transfer vRoots = Vec_VecEntryInt( vFrameCos, f ); - Aig_ManForEachNodeVec( pAig, vRoots, pObj, i ) + Aig_ManForEachObjVec( vRoots, pAig, pObj, i ) Saig_ObjLiToLo( pAig, pObj )->pData = pObj->pData; } // create output |