diff options
Diffstat (limited to 'src/aig/llb/llb1Group.c')
-rw-r--r-- | src/aig/llb/llb1Group.c | 8 |
1 files changed, 4 insertions, 4 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 ); |