46 inline void setDel(
bool d);
48 inline void set(poly t,
int i, poly
p,
RuleOld* r);
134 inline long getDeg();
136 inline poly* getAdT1();
138 inline poly getLp1Poly();
139 inline poly getLp1Term();
140 inline int getLp1Index();
142 inline poly* getAdT2();
144 inline poly getLp2Poly();
145 inline poly getLp2Term();
146 inline int getLp2Index();
148 inline RuleOld* getTestedRuleOld();
149 inline void setTestedRuleOld(
RuleOld* r);
191 return lp1->getPoly();
195 return lp2->getPoly();
199 return lp1->getTerm();
203 return lp2->getTerm();
207 return lp1->getIndex();
211 return lp2->getIndex();
219 return testedRuleOld;
structure of RuleOlds(i.e.
void setTestedRuleOld(RuleOld *r)
class of labeled polynomials
RuleOld(int i, poly term)
LPolyOld(poly t, int i, poly p, RuleOld *r=NULL)
void setRuleOld(RuleOld *r)
CPairOld(long degree, poly term1, LPolyOld *LPolyOld1, poly term2, LPolyOld *LPolyOld2, bool useless, RuleOld *r=NULL)
void set(poly t, int i, poly p, RuleOld *r)
RuleOld * getTestedRuleOld()
structure of labeled critical pairs