diff options
Diffstat (limited to 'src/aig/llb')
| -rw-r--r-- | src/aig/llb/llb1Group.c | 8 | ||||
| -rw-r--r-- | src/aig/llb/llb2Driver.c | 2 | ||||
| -rw-r--r-- | src/aig/llb/llb2Image.c | 2 | ||||
| -rw-r--r-- | src/aig/llb/llb4Nonlin.c | 2 |
4 files changed, 7 insertions, 7 deletions
diff --git a/src/aig/llb/llb1Group.c b/src/aig/llb/llb1Group.c index 4ebfc3a3..d865c239 100644 --- a/src/aig/llb/llb1Group.c +++ b/src/aig/llb/llb1Group.c @@ -318,19 +318,19 @@ Llb_Grp_t * Llb_ManGroupCreateFromCuts( Llb_Man_t * pMan, Vec_Int_t * vCut1, Vec // mark Cut1 Aig_ManIncrementTravId( pMan->pAig ); - Aig_ManForEachNodeVec( pMan->pAig, vCut1, pObj, i ) + Aig_ManForEachObjVec( vCut1, pMan->pAig, pObj, i ) Aig_ObjSetTravIdCurrent( pMan->pAig, pObj ); // collect unmarked Cut2 - Aig_ManForEachNodeVec( pMan->pAig, vCut2, pObj, i ) + Aig_ManForEachObjVec( vCut2, pMan->pAig, pObj, i ) if ( !Aig_ObjIsTravIdCurrent( pMan->pAig, pObj ) ) Vec_PtrPush( p->vOuts, pObj ); // mark nodes reachable from Cut2 Aig_ManIncrementTravId( pMan->pAig ); - Aig_ManForEachNodeVec( pMan->pAig, vCut2, pObj, i ) + Aig_ManForEachObjVec( vCut2, pMan->pAig, pObj, i ) Llb_ManGroupMarkNodes_rec( pMan->pAig, pObj ); // collect marked Cut1 - Aig_ManForEachNodeVec( pMan->pAig, vCut1, pObj, i ) + Aig_ManForEachObjVec( vCut1, pMan->pAig, pObj, i ) if ( Aig_ObjIsTravIdCurrent( pMan->pAig, pObj ) ) Vec_PtrPush( p->vIns, pObj ); diff --git a/src/aig/llb/llb2Driver.c b/src/aig/llb/llb2Driver.c index 3b4f23fc..041a39d5 100644 --- a/src/aig/llb/llb2Driver.c +++ b/src/aig/llb/llb2Driver.c @@ -172,7 +172,7 @@ DdManager * Llb_DriverLastPartition( Aig_Man_t * p, Vec_Int_t * vVarsNs, int Tim bRes = Cudd_ReadOne(dd); Cudd_Ref( bRes ); // mark the duplicated flop inputs - Aig_ManForEachNodeVec( p, vVarsNs, pObj, i ) + Aig_ManForEachObjVec( vVarsNs, p, pObj, i ) { if ( !Saig_ObjIsLi(p, pObj) ) continue; diff --git a/src/aig/llb/llb2Image.c b/src/aig/llb/llb2Image.c index caf8f9f7..5baa5c57 100644 --- a/src/aig/llb/llb2Image.c +++ b/src/aig/llb/llb2Image.c @@ -262,7 +262,7 @@ DdNode * Llb_ImgComputeCube( Aig_Man_t * pAig, Vec_Int_t * vNodeIds, DdManager * int i, TimeStop; TimeStop = dd->TimeStop; dd->TimeStop = 0; bProd = Cudd_ReadOne(dd); Cudd_Ref( bProd ); - Aig_ManForEachNodeVec( pAig, vNodeIds, pObj, i ) + Aig_ManForEachObjVec( vNodeIds, pAig, pObj, i ) { bProd = Cudd_bddAnd( dd, bTemp = bProd, Cudd_bddIthVar(dd, Aig_ObjId(pObj)) ); Cudd_Ref( bProd ); Cudd_RecursiveDeref( dd, bTemp ); diff --git a/src/aig/llb/llb4Nonlin.c b/src/aig/llb/llb4Nonlin.c index 25ef8c96..69d741a5 100644 --- a/src/aig/llb/llb4Nonlin.c +++ b/src/aig/llb/llb4Nonlin.c @@ -340,7 +340,7 @@ Vec_Int_t * Llb_Nonlin4CreateOrder( Aig_Man_t * pAig ) // mark internal nodes to be used Aig_ManCleanMarkA( pAig ); vNodes = Llb_Nonlin4CollectHighRefNodes( pAig, 4 ); - Aig_ManForEachNodeVec( pAig, vNodes, pObj, i ) + Aig_ManForEachObjVec( vNodes, pAig, pObj, i ) pObj->fMarkA = 1; printf( "Techmapping added %d pivots.\n", Vec_IntSize(vNodes) ); */ |