Lines Matching refs:fromQ
1170 if (strat->fromQ!=NULL) in deleteInS()
1173 memmove(&(strat->fromQ[i]),&(strat->fromQ[i+1]),(strat->sl - i)*sizeof(int)); in deleteInS()
1177 strat->fromQ[j] = strat->fromQ[j+1]; in deleteInS()
1226 if (strat->fromQ!=NULL) in deleteInSSba()
1229 memmove(&(strat->fromQ[i]),&(strat->fromQ[i+1]),(strat->sl - i)*sizeof(int)); in deleteInSSba()
1233 strat->fromQ[j] = strat->fromQ[j+1]; in deleteInSSba()
1429 if ((strat->fromQ==NULL) || (isFromQ==0) || (strat->fromQ[i]==0)) in enterOnePairRing()
1444 if ((strat->fromQ==NULL) || (isFromQ==0) || (strat->fromQ[i]==0)) in enterOnePairRing()
1457 if ((strat->fromQ==NULL) || (isFromQ==0) || (strat->fromQ[i]==0)) in enterOnePairRing()
2046 if ((strat->fromQ==NULL) || (isFromQ==0) || (strat->fromQ[i]==0)) in enterOnePairNormal()
2107 if ((strat->fromQ==NULL) || (isFromQ==0) || (strat->fromQ[i]==0)) in enterOnePairNormal()
2133 if ((strat->fromQ!=NULL) && (isFromQ!=0) && (strat->fromQ[i]!=0)) in enterOnePairNormal()
2324 if ((strat->fromQ==NULL) || (isFromQ==0) || (strat->fromQ[i]==0)) in enterOnePairLift()
2381 if ((strat->fromQ==NULL) || (isFromQ==0) || (strat->fromQ[i]==0)) in enterOnePairLift()
2403 if ((strat->fromQ!=NULL) && (isFromQ!=0) && (strat->fromQ[i]!=0)) in enterOnePairLift()
2576 if ((strat->fromQ!=NULL) && (isFromQ!=0) && (strat->fromQ[i]!=0)) in enterOnePairSig()
2940 if ((strat->fromQ!=NULL) && (isFromQ!=0) && (strat->fromQ[i]!=0)) in enterOnePairSigRing()
3852 if ((isFromQ)&&(strat->fromQ!=NULL)) in initenterpairs()
3856 if (!strat->fromQ[j]) in initenterpairs()
3917 if ((isFromQ)&&(strat->fromQ!=NULL)) in initenterpairsSig()
3921 if (!strat->fromQ[j]) in initenterpairsSig()
3976 if ((isFromQ)&&(strat->fromQ!=NULL)) in initenterpairsSigRing()
3980 if (!strat->fromQ[j]) in initenterpairsSigRing()
4195 if ((isFromQ)&&(strat->fromQ!=NULL)) in initenterstrongPairs()
4199 if (!strat->fromQ[j]) in initenterstrongPairs()
4668 if (strat->fromQ!=NULL) fq=strat->fromQ[i]; in reorderS()
4680 if (strat->fromQ!=NULL) in reorderS()
4684 strat->fromQ[j] = strat->fromQ[j-1]; in reorderS()
4686 strat->fromQ[at]=fq; in reorderS()
7789 if (strat->fromQ!=NULL && strat->fromQ[i]) in messageSets()
7838 strat->fromQ=NULL; in initS()
7844 strat->fromQ=initec(i); in initS()
7845 memset(strat->fromQ,0,i*sizeof(int)); in initS()
7875 strat->fromQ[pos]=1; in initS()
7932 strat->fromQ=NULL; in initSL()
7938 strat->fromQ=initec(i); in initSL()
7939 memset(strat->fromQ,0,i*sizeof(int)); in initSL()
7969 strat->fromQ[pos]=1; in initSL()
8029 strat->fromQ = NULL; in initSLSba()
8043 strat->fromQ=initec(i); in initSLSba()
8044 memset(strat->fromQ,0,i*sizeof(int)); in initSLSba()
8074 strat->fromQ[pos]=1; in initSLSba()
8335 strat->fromQ=NULL; in initSSpecial()
8342 strat->fromQ=initec(i); in initSSpecial()
8343 memset(strat->fromQ,0,i*sizeof(int)); in initSSpecial()
8374 strat->fromQ[pos]=1; in initSSpecial()
8479 strat->fromQ=NULL; in initSSpecialSba()
8486 strat->fromQ=initec(i); in initSSpecialSba()
8487 memset(strat->fromQ,0,i*sizeof(int)); in initSSpecialSba()
8518 strat->fromQ[pos]=1; in initSSpecialSba()
8813 if (((strat->fromQ==NULL) || (strat->fromQ[i]==0)) && (i>0)) in updateS()
8883 if ((strat->fromQ==NULL) || (strat->fromQ[i]==0)) in updateS()
8922 if (((strat->fromQ==NULL) || (strat->fromQ[i]==0)) && (i>0)) in updateS()
8986 if ((strat->fromQ==NULL) || (strat->fromQ[i]==0)) in updateS()
9001 if ((strat->fromQ==NULL) || (strat->fromQ[i]==0)) in updateS()
9051 if (strat->fromQ!=NULL) in enterSBba()
9053 strat->fromQ = (intset)omReallocSize(strat->fromQ, in enterSBba()
9094 if (strat->fromQ!=NULL) in enterSBba()
9097 memmove(&(strat->fromQ[atS+1]), &(strat->fromQ[atS]), in enterSBba()
9102 strat->fromQ[i] = strat->fromQ[i-1]; in enterSBba()
9105 strat->fromQ[atS]=0; in enterSBba()
9178 if (strat->fromQ!=NULL) in enterSSba()
9180 strat->fromQ = (intset)omReallocSize(strat->fromQ, in enterSSba()
9233 if (strat->fromQ!=NULL) in enterSSba()
9236 memmove(&(strat->fromQ[atS+1]), &(strat->fromQ[atS]), in enterSSba()
9241 strat->fromQ[i] = strat->fromQ[i-1]; in enterSSba()
9244 strat->fromQ[atS]=0; in enterSSba()
10073 if (strat->fromQ!=NULL) omFreeSize(strat->fromQ,IDELEMS(strat->Shdl)*sizeof(int)); in initBuchMora()
10074 strat->fromQ=NULL; in initBuchMora()
10099 if (strat->fromQ!=NULL) omFreeSize(strat->fromQ,IDELEMS(strat->Shdl)*sizeof(int)); in exitBuchMora()
10100 strat->fromQ=NULL; in exitBuchMora()
10558 if ((strat->fromQ!=NULL) && (strat->fromQ[i])) continue; // do not reduce Q_i in completeReduce()
12258 if ((strat->fromQ==NULL) || (isFromQ==0) || (qisFromQ==0)) in enterOnePairRingShift()
12273 if ((strat->fromQ==NULL) || (isFromQ==0) || (qisFromQ==0)) in enterOnePairRingShift()
12286 if ((strat->fromQ==NULL) || (isFromQ==0) || (qisFromQ==0)) in enterOnePairRingShift()
12453 if (strat->fromQ != NULL && q_inS >= 0)
12454 q_isFromQ = strat->fromQ[q_inS];
12508 if (strat->fromQ != NULL && p_inS >= 0)
12509 p_isFromQ = strat->fromQ[p_inS];
12641 if ((strat->fromQ==NULL) || (isFromQ==0) || (qfromQ==0))
12720 if ((strat->fromQ==NULL) || (isFromQ==0) || (qfromQ==0))
12761 if ((strat->fromQ!=NULL) && (isFromQ!=0) && (qfromQ!=0))
12906 if (strat->fromQ == NULL || !strat->fromQ[j])
12921 if (strat->fromQ != NULL && strat->fromQ[j])
12935 else if ((isFromQ)&&(strat->fromQ!=NULL))
12940 if (!strat->fromQ[j])
12955 if (!strat->fromQ[j])
13042 if (strat->fromQ != NULL && strat->fromQ[j])
13159 if (strat->fromQ == NULL || !strat->fromQ[j])
13174 if (strat->fromQ != NULL && strat->fromQ[j])
13188 else if ((isFromQ)&&(strat->fromQ!=NULL))
13193 if (!strat->fromQ[j])
13208 if (!strat->fromQ[j])
13252 if (strat->fromQ != NULL && strat->fromQ[j])
13326 if (!(strat->rightGB && strat->fromQ != NULL && strat->fromQ[j]))