Home
last modified time | relevance | path

Searched refs:vNodes0 (Results 1 – 6 of 6) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/
H A DsaigWnd.c591 void Saig_ManWindowCreatePis( Aig_Man_t * pNew, Aig_Man_t * p0, Aig_Man_t * p1, Vec_Ptr_t * vNodes0… in Saig_ManWindowCreatePis() argument
595 Vec_PtrForEachEntry( Aig_Obj_t *, vNodes0, pObj, i ) in Saig_ManWindowCreatePis()
720 Vec_Ptr_t * vNodes0, * vNodes1; in Saig_ManWindowExtractMiter() local
744 vNodes0 = Saig_ManCollectedDiffNodes( p0, p1 ); in Saig_ManWindowExtractMiter()
747 pNew = Aig_ManStart( Vec_PtrSize(vNodes0) + Vec_PtrSize(vNodes1) ); in Saig_ManWindowExtractMiter()
756 Saig_ManWindowCreatePis( pNew, p0, p1, vNodes0 ); in Saig_ManWindowExtractMiter()
759 Vec_PtrForEachEntry( Aig_Obj_t *, vNodes0, pObj0, i ) in Saig_ManWindowExtractMiter()
770 Vec_PtrForEachEntry( Aig_Obj_t *, vNodes0, pObj0, i ) in Saig_ManWindowExtractMiter()
785 Vec_PtrForEachEntry( Aig_Obj_t *, vNodes0, pObj0, i ) in Saig_ManWindowExtractMiter()
805 Vec_PtrFree( vNodes0 ); in Saig_ManWindowExtractMiter()
H A DsaigStrSim.c810 Vec_Ptr_t * vNodes0, * vNodes1; in Ssw_StrSimMatchingExtend() local
813 vNodes0 = Vec_PtrAlloc( 1000 ); in Ssw_StrSimMatchingExtend()
825 Ssw_StrSimMatchingExtendOne( p0, vNodes0 ); in Ssw_StrSimMatchingExtend()
827 Vec_PtrForEachEntry( Aig_Obj_t *, vNodes0, pNext0, k ) in Ssw_StrSimMatchingExtend()
857 Vec_PtrFree( vNodes0 ); in Ssw_StrSimMatchingExtend()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/
H A DsswIslands.c221 Vec_Ptr_t * vNodes0, * vNodes1; in Ssw_MatchingExtend() local
226 vNodes0 = Vec_PtrAlloc( 1000 ); in Ssw_MatchingExtend()
238 Ssw_MatchingExtendOne( p0, vNodes0 ); in Ssw_MatchingExtend()
240 Vec_PtrForEachEntry( Aig_Obj_t *, vNodes0, pNext0, k ) in Ssw_MatchingExtend()
270 Vec_PtrFree( vNodes0 ); in Ssw_MatchingExtend()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/
H A DacbFunc.c1771 void Acb_CollectIntNodes( Gia_Man_t * p, Vec_Int_t * vNodes0, Vec_Int_t * vNodes1 ) in Acb_CollectIntNodes() argument
1774 Vec_IntClear( vNodes0 ); in Acb_CollectIntNodes()
1785 Acb_CollectIntNodes_rec( p, Gia_ObjFanin0(pObj), vNodes0 ); in Acb_CollectIntNodes()
1791 Vec_Int_t * vNodes0 = Vec_IntAlloc( Gia_ManAndNum(pM) ); in Acb_UpdateMiter() local
1793 Acb_CollectIntNodes( pM, vNodes0, vNodes1 ); in Acb_UpdateMiter()
1829 Gia_ManForEachObjVec( vNodes0, pM, pObj, i ) in Acb_UpdateMiter()
1834 Vec_IntFree( vNodes0 ); in Acb_UpdateMiter()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaDup.c3070 Vec_Int_t * vNodes0 = Gia_ManCollectOneSide( p, 0 ); in Gia_ManTransformDualOutput() local
3077 if ( Vec_IntSize(vNodes0) > Vec_IntSize(vNodes1) ) in Gia_ManTransformDualOutput()
3079 ABC_SWAP( Vec_Int_t *, vNodes0, vNodes1 ); in Gia_ManTransformDualOutput()
3082 assert( Vec_IntSize(vNodes0) <= Vec_IntSize(vNodes1) ); in Gia_ManTransformDualOutput()
3090 Gia_ManForEachObjVec( vNodes0, p, pObj, i ) in Gia_ManTransformDualOutput()
3094 Vec_IntFree( vNodes0 ); in Gia_ManTransformDualOutput()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sbd/
H A DsbdCore.c139 Vec_Int_t * vNodes, * vNodes0, * vNodes1; in Sbd_ManWindowRoots() local
156 vNodes0 = Vec_WecEntry( vTemp, Gia_ObjFaninId0(Gia_ManObj(p, Id), Id) ); in Sbd_ManWindowRoots()
159 Vec_IntTwoMerge2( vNodes0, vNodes1, vNodes ); in Sbd_ManWindowRoots()