Home
last modified time | relevance | path

Searched refs:vOutPres (Results 1 – 3 of 3) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaTim.c698 Vec_Int_t * vOutPres = Vec_IntAlloc( 100 ); in Gia_ManUpdateExtraAig() local
705 Vec_IntPush( vOutPres, Vec_IntEntry(vBoxPres, i) ); in Gia_ManUpdateExtraAig()
709 pNew = Gia_ManDupOutputVec( p, vOutPres ); in Gia_ManUpdateExtraAig()
710 Vec_IntFree( vOutPres ); in Gia_ManUpdateExtraAig()
H A DgiaDup.c338 Gia_Man_t * Gia_ManDupOutputVec( Gia_Man_t * p, Vec_Int_t * vOutPres ) in Gia_ManDupOutputVec() argument
344 assert( Gia_ManPoNum(p) == Vec_IntSize(vOutPres) ); in Gia_ManDupOutputVec()
353 if ( Vec_IntEntry(vOutPres, i) ) in Gia_ManDupOutputVec()
356 if ( Vec_IntEntry(vOutPres, i) ) in Gia_ManDupOutputVec()
H A Dgia.h1275 extern Gia_Man_t * Gia_ManDupOutputVec( Gia_Man_t * p, Vec_Int_t * vOutPres );