Home
last modified time | relevance | path

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

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaAiger.c179 Vec_Int_t * vLits = NULL, * vPoTypes = NULL; in Gia_AigerReadFromMemory() local
483 vPoTypes = Vec_IntStart( Gia_ManPoNum(pNew) ); in Gia_AigerReadFromMemory()
490 Vec_IntWriteEntry( vPoTypes, i, 1 ); in Gia_AigerReadFromMemory()
495 Vec_IntWriteEntry( vPoTypes, i, 2 ); in Gia_AigerReadFromMemory()
504 Vec_IntFreeP( &vPoTypes ); in Gia_AigerReadFromMemory()
787 if ( vPoTypes ) in Gia_AigerReadFromMemory()
789 pNew = Gia_ManDupWithConstraints( pTemp = pNew, vPoTypes ); in Gia_AigerReadFromMemory()
791 Vec_IntFreeP( &vPoTypes ); in Gia_AigerReadFromMemory()
H A DgiaDup.c3366 Gia_Man_t * Gia_ManDupWithConstraints( Gia_Man_t * p, Vec_Int_t * vPoTypes ) in Gia_ManDupWithConstraints() argument
3380 if ( Vec_IntEntry(vPoTypes, i) == 0 ) // regular PO in Gia_ManDupWithConstraints()
3383 if ( Vec_IntEntry(vPoTypes, i) == 1 ) // constraint (should be complemented!) in Gia_ManDupWithConstraints()
H A Dgia.h1328 extern Gia_Man_t * Gia_ManDupWithConstraints( Gia_Man_t * p, Vec_Int_t * vPoTypes );