Searched refs:vMiterPairs (Results 1 – 2 of 2) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/ |
H A D | cecInt.h | 204 …_Man_t * pAig, Cec_ParSat_t * pPars, Vec_Int_t * vIdsOrig, Vec_Int_t * vMiterPairs, Vec_Int_t * vE…
|
H A D | cecSolve.c | 699 …_Man_t * pAig, Cec_ParSat_t * pPars, Vec_Int_t * vIdsOrig, Vec_Int_t * vMiterPairs, Vec_Int_t * vE… in Cec_ManSatSolve() argument 740 int iObj1 = Vec_IntEntry(vMiterPairs, 2*i); in Cec_ManSatSolve() 741 int iObj2 = Vec_IntEntry(vMiterPairs, 2*i+1); in Cec_ManSatSolve()
|