Searched refs:vOutsLeft (Results 1 – 3 of 3) sorted by relevance
718 Vec_Int_t * vOutsLeft = Vec_IntAlloc( 100 ); in Gia_ManUpdateExtraAig2() local726 Vec_IntPush( vOutsLeft, iOutFirst + k ); in Gia_ManUpdateExtraAig2()728 pNew = Gia_ManDupSelectedOutputs( p, vOutsLeft ); in Gia_ManUpdateExtraAig2()729 Vec_IntFree( vOutsLeft ); in Gia_ManUpdateExtraAig2()
372 Gia_Man_t * Gia_ManDupSelectedOutputs( Gia_Man_t * p, Vec_Int_t * vOutsLeft ) in Gia_ManDupSelectedOutputs() argument378 assert( Gia_ManPoNum(p) >= Vec_IntSize(vOutsLeft) ); in Gia_ManDupSelectedOutputs()386 Vec_IntForEachEntry( vOutsLeft, iOut, i ) in Gia_ManDupSelectedOutputs()388 Vec_IntForEachEntry( vOutsLeft, iOut, i ) in Gia_ManDupSelectedOutputs()
1276 extern Gia_Man_t * Gia_ManDupSelectedOutputs( Gia_Man_t * p, Vec_Int_t * vOutsLeft );