Home
last modified time | relevance | path

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

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/pdr/
H A DpdrCnf.c74 Vec_Int_t * vId2Vars = p->pvId2Vars + Aig_ObjId(pObj); in Pdr_ObjSatVar2FindOrAdd()
114 *Vec_IntEntryP( p->pvId2Vars + Aig_ObjId(pObj), k ) |= Pol; in Pdr_ObjSatVar2()
175 Vec_Int_t * vId2Vars = p->pvId2Vars + Aig_ObjId(pObj); in Pdr_ObjSatVar2FindOrAdd()
400 p->pvId2Vars = ABC_CALLOC( Vec_Int_t, Aig_ManObjNumMax(p->pAig) ); in Pdr_ManNewSolver2()
414 assert( Vec_IntEntry( p->pvId2Vars + Entry, k ) > 0 ); in Pdr_ManNewSolver2()
415 Vec_IntWriteEntry( p->pvId2Vars + Entry, k, 0 ); in Pdr_ManNewSolver2()
H A DpdrMan.c356 if ( p->pvId2Vars ) in Pdr_ManStop()
358 ABC_FREE( p->pvId2Vars[i].pArray ); in Pdr_ManStop()
359 ABC_FREE( p->pvId2Vars ); in Pdr_ManStop()
H A DpdrInt.h108 Vec_Int_t * pvId2Vars; // for each used ObjId, maps frame into SAT var member