Searched defs:vOutPres (Results 1 – 2 of 2) sorted by relevance
698 Vec_Int_t * vOutPres = Vec_IntAlloc( 100 ); in Gia_ManUpdateExtraAig() local
338 Gia_Man_t * Gia_ManDupOutputVec( Gia_Man_t * p, Vec_Int_t * vOutPres ) in Gia_ManDupOutputVec()