Searched refs:pLitsA (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() 290 if ( Div_AddLit( *pBegA++, pLitsA ) ) in Div_FindDiv() 300 if ( Div_AddLit( *pBegA++, pLitsA ) ) 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()
|