Searched refs:vCi2Rem (Results 1 – 3 of 3) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/pdr/ |
| H A D | pdrTsim.c | 172 if ( vCi2Rem != NULL ) in Pdr_ManSimDataInit()
173 Aig_ManForEachObjVec( vCi2Rem, pAig, pObj, i ) in Pdr_ManSimDataInit()
280 Aig_ManForEachObjVec( vCi2Rem, pAig, pObj, i ) in Pdr_ManDeriveResult()
327 if ( vCi2Rem ) in Pdr_ManPrintCex()
328 Aig_ManForEachObjVec( vCi2Rem, pAig, pObj, i ) in Pdr_ManPrintCex()
363 Vec_Int_t * vCi2Rem = p->vCi2Rem; // CIs to be removed (CI obj IDs) in Pdr_ManTernarySim() local
422 Vec_IntClear( vCi2Rem ); in Pdr_ManTernarySim()
429 Vec_IntPush( vCi2Rem, Aig_ObjId(pObj) ); in Pdr_ManTernarySim()
437 Vec_IntClear( vCi2Rem ); in Pdr_ManTernarySim()
447 Vec_IntPush( vCi2Rem, Aig_ObjId(pObj) ); in Pdr_ManTernarySim()
[all …]
|
| H A D | pdrMan.c | 280 p->vCi2Rem = Vec_IntAlloc( 100 ); // CIs to be removed in Pdr_ManStart()
383 Vec_IntFree( p->vCi2Rem ); // CIs to be removed in Pdr_ManStop()
|
| H A D | pdrInt.h | 139 Vec_Int_t * vCi2Rem; // CIs to be removed member
|