Lines Matching refs:pPat
124 unsigned Rsb_DecCheck( int nVars, word * f, word ** g, int nGs, unsigned * pPat, int * pCexA, int *… in Rsb_DecCheck() argument
136 pPat[w] = Rsb_DecTry2( ~(word)0, g[0][w], f[w] ); in Rsb_DecCheck()
138 pPat[w] = Rsb_DecTry3( ~(word)0, g[0][w], g[1][w], f[w] ); in Rsb_DecCheck()
140 pPat[w] = Rsb_DecTry4( ~(word)0, g[0][w], g[1][w], g[2][w], f[w] ); in Rsb_DecCheck()
142 pPat[w] = Rsb_DecTry5( ~(word)0, g[0][w], g[1][w], g[2][w], g[3][w], f[w] ); in Rsb_DecCheck()
144 iMint = Abc_Tt6FirstBit( (pPat[w] >> iShift) & pPat[w] & uMask ); in Rsb_DecCheck()
153 uTotal |= pPat[w]; in Rsb_DecCheck()
163 … iMint = Abc_Tt6FirstBit( ((pPat[k] | pPat[w]) >> iShift) & (pPat[k] | pPat[w]) & uMask ); in Rsb_DecCheck()
340 unsigned * pPat = (unsigned *)Vec_IntArray(p->vDecPats); in Rsb_DecPerformInt() local
366 uTruth = Rsb_DecCheck( nVars, f, pDivs, Vec_IntSize(p->vFanins), pPat, &iCexA, &iCexB ); in Rsb_DecPerformInt()
399 uTruth = Rsb_DecCheck( nVars, f, pDivs, Vec_IntSize(p->vFanins), pPat, &iCexA, &iCexB ); in Rsb_DecPerformInt()
435 uTruth = Rsb_DecCheck( nVars, f, pDivs, Vec_IntSize(p->vFanins), pPat, &iCexA, &iCexB ); in Rsb_DecPerformInt()
474 uTruth = Rsb_DecCheck( nVars, f, pDivs, Vec_IntSize(p->vFanins), pPat, &iCexA, &iCexB ); in Rsb_DecPerformInt()
615 unsigned * pPat = (unsigned *)Vec_IntArray(p->vDecPats); in Rsb_ManPerform() local
627 uTruth = Rsb_DecCheck( nVars, f, pDivs, Vec_IntSize(p->vFaninsOld), pPat, &iCexA, &iCexB ); in Rsb_ManPerform()