My Project  UNKNOWN_GIT_VERSION
Public Member Functions | Private Attributes
CPairOld Class Reference

#include <f5data.h>

Public Member Functions

 CPairOld (long degree, poly term1, LPolyOld *LPolyOld1, poly term2, LPolyOld *LPolyOld2, bool useless, RuleOld *r=NULL)
 
long getDeg ()
 
poly getT1 ()
 
poly * getAdT1 ()
 
LPolyOldgetAdLp1 ()
 
poly getLp1Poly ()
 
poly getLp1Term ()
 
int getLp1Index ()
 
poly getT2 ()
 
poly * getAdT2 ()
 
LPolyOldgetAdLp2 ()
 
poly getLp2Poly ()
 
poly getLp2Term ()
 
int getLp2Index ()
 
bool getDel ()
 
RuleOldgetTestedRuleOld ()
 
void setTestedRuleOld (RuleOld *r)
 

Private Attributes

long deg
 
poly t1
 
LPolyOldlp1
 
poly t2
 
LPolyOldlp2
 
RuleOldtestedRuleOld
 
bool del
 

Detailed Description


structure of labeled critical pairs

Definition at line 123 of file f5data.h.

Constructor & Destructor Documentation

◆ CPairOld()

CPairOld::CPairOld ( long  degree,
poly  term1,
LPolyOld LPolyOld1,
poly  term2,
LPolyOld LPolyOld2,
bool  useless,
RuleOld r = NULL 
)
inline

Definition at line 152 of file f5data.h.

152  {
153  deg = degree;
154  t1 = term1;
155  lp1 = LPolyOld1;
156  t2 = term2;
157  lp2 = LPolyOld2;
158  testedRuleOld = r;
159  del = useless;
160 }

Member Function Documentation

◆ getAdLp1()

LPolyOld * CPairOld::getAdLp1 ( )
inline

Definition at line 182 of file f5data.h.

182  {
183  return lp1;
184 }

◆ getAdLp2()

LPolyOld * CPairOld::getAdLp2 ( )
inline

Definition at line 186 of file f5data.h.

186  {
187  return lp2;
188 }

◆ getAdT1()

poly * CPairOld::getAdT1 ( )
inline

Definition at line 170 of file f5data.h.

170  {
171  return &t1;
172 }

◆ getAdT2()

poly * CPairOld::getAdT2 ( )
inline

Definition at line 174 of file f5data.h.

174  {
175  return &t2;
176 }

◆ getDeg()

long CPairOld::getDeg ( )
inline

Definition at line 162 of file f5data.h.

162  {
163  return deg;
164 }

◆ getDel()

bool CPairOld::getDel ( )
inline

Definition at line 214 of file f5data.h.

214  {
215  return del;
216 }

◆ getLp1Index()

int CPairOld::getLp1Index ( )
inline

Definition at line 206 of file f5data.h.

206  {
207  return lp1->getIndex();
208 }

◆ getLp1Poly()

poly CPairOld::getLp1Poly ( )
inline

Definition at line 190 of file f5data.h.

190  {
191  return lp1->getPoly();
192 }

◆ getLp1Term()

poly CPairOld::getLp1Term ( )
inline

Definition at line 198 of file f5data.h.

198  {
199  return lp1->getTerm();
200 }

◆ getLp2Index()

int CPairOld::getLp2Index ( )
inline

Definition at line 210 of file f5data.h.

210  {
211  return lp2->getIndex();
212 }

◆ getLp2Poly()

poly CPairOld::getLp2Poly ( )
inline

Definition at line 194 of file f5data.h.

194  {
195  return lp2->getPoly();
196 }

◆ getLp2Term()

poly CPairOld::getLp2Term ( )
inline

Definition at line 202 of file f5data.h.

202  {
203  return lp2->getTerm();
204 }

◆ getT1()

poly CPairOld::getT1 ( )
inline

Definition at line 166 of file f5data.h.

166  {
167  return t1;
168 }

◆ getT2()

poly CPairOld::getT2 ( )
inline

Definition at line 178 of file f5data.h.

178  {
179  return t2;
180 }

◆ getTestedRuleOld()

RuleOld * CPairOld::getTestedRuleOld ( )
inline

Definition at line 218 of file f5data.h.

218  {
219  return testedRuleOld;
220 }

◆ setTestedRuleOld()

void CPairOld::setTestedRuleOld ( RuleOld r)
inline

Definition at line 222 of file f5data.h.

222  {
223  testedRuleOld = r;
224 }

Field Documentation

◆ deg

long CPairOld::deg
private

Definition at line 125 of file f5data.h.

◆ del

bool CPairOld::del
private

Definition at line 131 of file f5data.h.

◆ lp1

LPolyOld* CPairOld::lp1
private

Definition at line 127 of file f5data.h.

◆ lp2

LPolyOld* CPairOld::lp2
private

Definition at line 129 of file f5data.h.

◆ t1

poly CPairOld::t1
private

Definition at line 126 of file f5data.h.

◆ t2

poly CPairOld::t2
private

Definition at line 128 of file f5data.h.

◆ testedRuleOld

RuleOld* CPairOld::testedRuleOld
private

Definition at line 130 of file f5data.h.


The documentation for this class was generated from the following file:
CPairOld::t1
poly t1
Definition: f5data.h:126
LPolyOld::getIndex
int getIndex()
Definition: f5data.h:94
LPolyOld::getPoly
poly getPoly()
Definition: f5data.h:86
CPairOld::t2
poly t2
Definition: f5data.h:128
CPairOld::lp1
LPolyOld * lp1
Definition: f5data.h:127
CPairOld::del
bool del
Definition: f5data.h:131
LPolyOld::getTerm
poly getTerm()
Definition: f5data.h:90
CPairOld::testedRuleOld
RuleOld * testedRuleOld
Definition: f5data.h:130
CPairOld::deg
long deg
Definition: f5data.h:125
CPairOld::lp2
LPolyOld * lp2
Definition: f5data.h:129
degree
int degree(const CanonicalForm &f)
Definition: canonicalform.h:309