Searched refs:pLitsB (Results 1 – 1 of 1) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/ |
| H A D | bmcFx.c | 278 int Div_FindDiv( Vec_Int_t * vA, Vec_Int_t * vB, int pLitsA[2], int pLitsB[2] ) in Div_FindDiv()
283 pLitsA[0] = pLitsA[1] = pLitsB[0] = pLitsB[1] = -1; in Div_FindDiv()
295 if ( Div_AddLit( *pBegB++, pLitsB ) ) in Div_FindDiv()
303 if ( Div_AddLit( *pBegB++, pLitsB ) ) in Div_FindDiv()
330 int i1, i2, i, k, pLitsA[2], pLitsB[2], pLits[4], Type, Phase, nBase, Count = 0; in Div_CubePairs() local
345 nBase = Div_FindDiv( vCube1, vCube2, pLitsA, pLitsB ); in Div_CubePairs()
348 Type = Div_FindType(pLitsA, pLitsB, pLits, &Phase); in Div_CubePairs()
|