Searched refs:vPoTypes (Results 1 – 3 of 3) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaAiger.c | 179 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 D | giaDup.c | 3366 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 D | gia.h | 1328 extern Gia_Man_t * Gia_ManDupWithConstraints( Gia_Man_t * p, Vec_Int_t * vPoTypes );
|