Searched refs:vMapVars (Results 1 – 1 of 1) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/int/ |
| H A D | intM114p.c | 208 … * Inter_ManInterpolateM114pPudlak( M114p_Solver_t s, Vec_Int_t * vMapRoots, Vec_Int_t * vMapVars ) in Inter_ManInterpolateM114pPudlak() argument
226 Vec_IntForEachEntry( vMapVars, iVar, i ) in Inter_ManInterpolateM114pPudlak()
261 iVar = Vec_IntEntry( vMapVars, pVars[k] ); in Inter_ManInterpolateM114pPudlak()
320 …_Man_t * Inter_ManpInterpolateM114( M114p_Solver_t s, Vec_Int_t * vMapRoots, Vec_Int_t * vMapVars ) in Inter_ManpInterpolateM114() argument
345 iVar = Vec_IntEntry( vMapVars, lit_var(pLits[k]) ); in Inter_ManpInterpolateM114()
363 iVar = Vec_IntEntry( vMapVars, pVars[k] ); in Inter_ManpInterpolateM114()
396 Vec_Int_t * vMapRoots, * vMapVars; in Inter_ManPerformOneStepM114p() local
403 &vMapRoots, &vMapVars ); in Inter_ManPerformOneStepM114p()
416 p->pInterNew = Inter_ManInterpolateM114pPudlak( pSat, vMapRoots, vMapVars ); in Inter_ManPerformOneStepM114p()
418 p->pInterNew = Inter_ManpInterpolateM114( pSat, vMapRoots, vMapVars ); in Inter_ManPerformOneStepM114p()
[all …]
|