Home
last modified time | relevance | path

Searched refs:vUniques (Results 1 – 4 of 4) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/
H A DaigPartReg.c44 Vec_Int_t * vUniques; // unique registers of this partition member
76 p->vUniques = Vec_IntAlloc(256); in Aig_ManRegManStart()
102 Vec_IntFree( p->vUniques ); in Aig_ManRegManStop()
209 Vec_IntPush( p->vUniques, iReg ); in Aig_ManRegPartitionAdd()
428 Vec_IntClear( p->vUniques ); in Aig_ManRegPartitionSmart()
455 1.0*Vec_IntSize(p->vFreeVars)/Vec_IntSize(p->vRegs), Vec_IntSize(p->vUniques) ); in Aig_ManRegPartitionSmart()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/
H A DsaigSimMv.c576 Vec_Int_t * vUniques = Vec_IntAlloc( 100 ); in Saig_MvManPostProcess() local
587 Vec_IntForEachEntry( vUniques, iFlop, k ) in Saig_MvManPostProcess()
598 if ( k == Vec_IntSize(vUniques) ) in Saig_MvManPostProcess()
600 Vec_IntPush( vUniques, i ); in Saig_MvManPostProcess()
604 Vec_IntForEachEntry( vUniques, iFlop, i ) in Saig_MvManPostProcess()
629 Vec_IntFree( vUniques ); in Saig_MvManPostProcess()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaIso2.c80 Vec_Int_t * vUniques; // unique numbers member
222 p->vUniques = Vec_IntStartFull( p->nObjs ); in Gia_Iso2ManStart()
232 Vec_IntWriteEntry( p->vUniques, 0, p->nUniques++ ); in Gia_Iso2ManStart()
237 Vec_IntFree( p->vUniques ); in Gia_Iso2ManStop()
336 assert( Vec_IntEntry(p->vUniques, Gia_ObjId(p->pGia, pObj)) == -1 ); in Gia_Iso2ManUniqify()
337 Vec_IntWriteEntry( p->vUniques, Gia_ObjId(p->pGia, pObj), p->nUniques++ ); in Gia_Iso2ManUniqify()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mpm/
H A DmpmPre.c936 Vec_Int_t * vUniques; in Ifd_ManDsdTest() local
959 vUniques = Hsh_WrdManHashArray( vVariants, 1 ); in Ifd_ManDsdTest()
961 Vec_IntForEachEntry( vUniques, Uniq, k ) in Ifd_ManDsdTest()
970 Vec_IntUniqify( vUniques ); in Ifd_ManDsdTest()
971 assert( Runner == Vec_IntSize(vUniques) ); in Ifd_ManDsdTest()
972 Counter += Vec_IntSize(vUniques); in Ifd_ManDsdTest()
974 Vec_IntFree( vUniques ); in Ifd_ManDsdTest()