Home
last modified time | relevance | path

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

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaSweeper.c356 Vec_IntPush( vObjIds, Gia_ObjId(p, pObj) ); in Gia_ManExtract_rec()
360 Vec_Int_t * vObjIds, * vValues; in Gia_SweeperExtractUserLogic() local
368 vObjIds = Vec_IntAlloc( 1000 ); in Gia_SweeperExtractUserLogic()
383 vValues = Vec_IntAlloc( Vec_IntSize(vObjIds) ); in Gia_SweeperExtractUserLogic()
384 Gia_ManForEachObjVec( vObjIds, p, pObj, i ) in Gia_SweeperExtractUserLogic()
399 Gia_ManForEachObjVec( vObjIds, p, pObj, i ) in Gia_SweeperExtractUserLogic()
401 Vec_IntFree( vObjIds ); in Gia_SweeperExtractUserLogic()
464 Vec_Int_t * vObjIds; in Gia_SweeperCleanup() local
471 vObjIds = Vec_IntAlloc( 1000 ); in Gia_SweeperCleanup()
487 Gia_ManForEachObjVec( vObjIds, p, pObj, i ) in Gia_SweeperCleanup()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/pdr/
H A DpdrSat.c236 void Pdr_ManCollectValues( Pdr_Man_t * p, int k, Vec_Int_t * vObjIds, Vec_Int_t * vValues ) in Pdr_ManCollectValues() argument
243 Aig_ManForEachObjVec( vObjIds, p->pAig, pObj, i ) in Pdr_ManCollectValues()
H A DpdrInt.h226 extern void Pdr_ManCollectValues( Pdr_Man_t * p, int k, Vec_Int_t * vObjIds, Vec_Int_t *…