Home
last modified time | relevance | path

Searched refs:syzIdx (Results 1 – 2 of 2) sorted by path

/dports/math/singular/Singular-Release-4-2-1/kernel/GBEngine/
H A Dkutil.cc6758 min = strat->syzIdx[comp-2]; in syzCriterionInc()
6768 max = strat->syzIdx[comp-1]; in syzCriterionInc()
8176 omFreeSize(strat->syzIdx,(strat->syzidxmax)*sizeof(int)); in initSyzRules()
8194 strat->syzIdx = initec(comp); in initSyzRules()
8230 strat->syzIdx[j] = 0; in initSyzRules()
8234 strat->syzIdx[j] = ctr; in initSyzRules()
8275 strat->syzIdx[j] = 0; in initSyzRules()
8279 strat->syzIdx[j] = ctr; in initSyzRules()
8315 Print("%d - %d\n",i,strat->syzIdx[i]); in initSyzRules()
10299 omFreeSize(strat->syzIdx,(strat->syzidxmax)*sizeof(int)); in exitSba()
H A Dkutil.h314 intset syzIdx;// index in the syz array at which the first variable