Lines Matching refs:pnPats
972 …portNext( sat_solver * pSat, int iFirstDiv, Vec_Int_t * vWeights, Vec_Wrd_t * vPats, int * pnPats ) in Acb_FindSupportNext() argument
979 int iDivBest = Acb_FindArgMaxUnderMask( vPats, Mask, vWeights, *pnPats ); in Acb_FindSupportNext()
996 Abc_TtSetBit( Vec_WrdEntryP(vPats, NWORDS*i), *pnPats ); in Acb_FindSupportNext()
998 (*pnPats)++; in Acb_FindSupportNext()
999 if ( *pnPats == NWORDS*64 ) in Acb_FindSupportNext()
1004 assert( *pnPats < NWORDS*64 ); in Acb_FindSupportNext()
1011 …upportMinOne( sat_solver * pSat, int iFirstDiv, Vec_Wrd_t * vPats, int * pnPats, Vec_Int_t * vSupp… in Acb_FindSupportMinOne() argument
1030 Abc_TtSetBit( Vec_WrdEntryP(vPats, NWORDS*i), *pnPats ); in Acb_FindSupportMinOne()
1032 (*pnPats)++; in Acb_FindSupportMinOne()
1033 if ( *pnPats == NWORDS*64 ) in Acb_FindSupportMinOne()
1037 Vec_Int_t * Acb_FindSupportMin( sat_solver * pSat, int iFirstDiv, Vec_Wrd_t * vPats, int * pnPats, … in Acb_FindSupportMin() argument
1042 vSupp = Acb_FindSupportMinOne( pSat, iFirstDiv, vPats, pnPats, vTemp = vSupp, i ); in Acb_FindSupportMin()