Searched refs:pnPats (Results 1 – 3 of 3) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/ |
| H A D | acbFunc.c | 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()
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
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/ |
| H A D | cecInt.h | 206 …SatSolveSeq( Vec_Ptr_t * vPatts, Gia_Man_t * pAig, Cec_ParSat_t * pPars, int nRegs, int * pnPats );
|
| H A D | cecSolve.c | 908 …nSatSolveSeq( Vec_Ptr_t * vPatts, Gia_Man_t * pAig, Cec_ParSat_t * pPars, int nRegs, int * pnPats ) in Cec_ManSatSolveSeq() argument
976 if ( pnPats ) in Cec_ManSatSolveSeq()
977 *pnPats = iPat-1; in Cec_ManSatSolveSeq()
|