Searched refs:pvId2Vars (Results 1 – 3 of 3) sorted by relevance
74 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()
356 if ( p->pvId2Vars ) in Pdr_ManStop()358 ABC_FREE( p->pvId2Vars[i].pArray ); in Pdr_ManStop()359 ABC_FREE( p->pvId2Vars ); in Pdr_ManStop()
108 Vec_Int_t * pvId2Vars; // for each used ObjId, maps frame into SAT var member