Searched refs:setmaxTinc (Results 1 – 4 of 4) sorted by relevance
7833 if (Q!=NULL) i=((IDELEMS(F)+IDELEMS(Q)+(setmaxTinc-1))/setmaxTinc)*setmaxTinc; in initS()7834 else i=((IDELEMS(F)+(setmaxTinc-1))/setmaxTinc)*setmaxTinc; in initS()7927 if (Q!=NULL) i=((IDELEMS(Q)+(setmaxTinc-1))/setmaxTinc)*setmaxTinc; in initSL()8023 if (Q!=NULL) i=((IDELEMS(Q)+(setmaxTinc-1))/setmaxTinc)*setmaxTinc; in initSLSba()8329 if (Q!=NULL) i=((IDELEMS(Q)+(setmaxTinc-1))/setmaxTinc)*setmaxTinc; in initSSpecial()8473 if (Q!=NULL) i=((IDELEMS(Q)+(setmaxTinc-1))/setmaxTinc)*setmaxTinc; in initSSpecialSba()9031 (IDELEMS(strat->Shdl)+setmaxTinc) in enterSBba()9057 pEnlargeSet(&strat->S,IDELEMS(strat->Shdl),setmaxTinc); in enterSBba()9058 IDELEMS(strat->Shdl)+=setmaxTinc; in enterSBba()9419 enlargeT(strat->T,strat->R,strat->sevT,strat->tmax,setmaxTinc); in enterT()[all …]
34 #define setmaxTinc ((4096)/sizeof(TObject)) macro
2383 i=((IDELEMS(F)+IDELEMS(Q)+(setmaxTinc-1))/setmaxTinc)*setmaxTinc; in kNF1()
3318 pEnlargeSet(&strat->syz,strat->syzmax,setmaxTinc); in sba()3321 ((strat->syzmax)+setmaxTinc) in sba()3323 strat->syzmax += setmaxTinc; in sba()