Searched refs:vEquivs2 (Results 1 – 2 of 2) sorted by relevance
571 Vec_Wec_t * vEquivs2; in Gia_Iso2ManCheckIsoClassesSkip() local579 vEquivs2 = Vec_WecAlloc( 2 * Vec_WecSize(vEquivs) ); in Gia_Iso2ManCheckIsoClassesSkip()587 vClass2 = Vec_WecPushLevel( vEquivs2 ); in Gia_Iso2ManCheckIsoClassesSkip()596 vClass2 = Vec_WecPushLevel( vEquivs2 ); in Gia_Iso2ManCheckIsoClassesSkip()606 return vEquivs2; in Gia_Iso2ManCheckIsoClassesSkip()630 Vec_Wec_t * vEquivs2; in Gia_Iso2ManCheckIsoClasses() local639 vEquivs2 = Vec_WecAlloc( 2 * Vec_WecSize(vEquivs) ); in Gia_Iso2ManCheckIsoClasses()648 vClass2 = Vec_WecPushLevel( vEquivs2 ); in Gia_Iso2ManCheckIsoClasses()664 return vEquivs2; in Gia_Iso2ManCheckIsoClasses()721 Vec_Wec_t * vEquivs, * vEquivs2; in Gia_ManIsoReduce2() local[all …]
1078 Vec_Ptr_t * vEquivs, * vEquivs2, * vStrings; in Gia_ManIsoReduce() local1125 vEquivs2 = Vec_PtrAlloc( 100 ); in Gia_ManIsoReduce()1130 Vec_PtrPush( vEquivs2, Vec_IntDup(vLevel) ); in Gia_ManIsoReduce()1146 sStart = Vec_PtrSize( vEquivs2 ); in Gia_ManIsoReduce()1165 Vec_PtrPush( vEquivs2, Vec_IntAlloc(8) ); in Gia_ManIsoReduce()1170 vLevel2 = (Vec_Int_t *)Vec_PtrEntry( vEquivs2, sStart + s ); in Gia_ManIsoReduce()1178 Vec_VecSortByFirstInt( (Vec_Vec_t *)vEquivs2, 0 ); in Gia_ManIsoReduce()1180 vEquivs = vEquivs2; in Gia_ManIsoReduce()