Searched refs:vRos (Results 1 – 1 of 1) sorted by relevance
1381 Vec_Int_t * vPis, * vPos, * vRis, * vRos; in Gia_ManDupTimes() local1391 vRos = Vec_IntAlloc( Gia_ManRegNum(p) * nTimes ); in Gia_ManDupTimes()1404 Vec_IntPush( vRos, Abc_Lit2Var(pObj->Value) ); in Gia_ManDupTimes()1422 Vec_IntForEachEntry( vRos, Entry, i ) in Gia_ManDupTimes()1441 Vec_IntFree( vRos ); in Gia_ManDupTimes()