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 122 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 151 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;

Member Function Documentation

◆ getAdLp1()

LPolyOld * CPairOld::getAdLp1 ( )
inline

Definition at line 181 of file f5data.h.

182  {
183  return lp1;

◆ getAdLp2()

LPolyOld * CPairOld::getAdLp2 ( )
inline

Definition at line 185 of file f5data.h.

186  {
187  return lp2;

◆ getAdT1()

poly * CPairOld::getAdT1 ( )
inline

Definition at line 169 of file f5data.h.

170  {
171  return &t1;

◆ getAdT2()

poly * CPairOld::getAdT2 ( )
inline

Definition at line 173 of file f5data.h.

174  {
175  return &t2;

◆ getDeg()

long CPairOld::getDeg ( )
inline

Definition at line 161 of file f5data.h.

162  {
163  return deg;

◆ getDel()

bool CPairOld::getDel ( )
inline

Definition at line 213 of file f5data.h.

214  {
215  return del;

◆ getLp1Index()

int CPairOld::getLp1Index ( )
inline

Definition at line 205 of file f5data.h.

206  {
207  return lp1->getIndex();

◆ getLp1Poly()

poly CPairOld::getLp1Poly ( )
inline

Definition at line 189 of file f5data.h.

190  {
191  return lp1->getPoly();

◆ getLp1Term()

poly CPairOld::getLp1Term ( )
inline

Definition at line 197 of file f5data.h.

198  {
199  return lp1->getTerm();

◆ getLp2Index()

int CPairOld::getLp2Index ( )
inline

Definition at line 209 of file f5data.h.

210  {
211  return lp2->getIndex();

◆ getLp2Poly()

poly CPairOld::getLp2Poly ( )
inline

Definition at line 193 of file f5data.h.

194  {
195  return lp2->getPoly();

◆ getLp2Term()

poly CPairOld::getLp2Term ( )
inline

Definition at line 201 of file f5data.h.

202  {
203  return lp2->getTerm();

◆ getT1()

poly CPairOld::getT1 ( )
inline

Definition at line 165 of file f5data.h.

166  {
167  return t1;

◆ getT2()

poly CPairOld::getT2 ( )
inline

Definition at line 177 of file f5data.h.

178  {
179  return t2;

◆ getTestedRuleOld()

RuleOld * CPairOld::getTestedRuleOld ( )
inline

Definition at line 217 of file f5data.h.

218  {
219  return testedRuleOld;

◆ setTestedRuleOld()

void CPairOld::setTestedRuleOld ( RuleOld r)
inline

Definition at line 221 of file f5data.h.

222  {
223  testedRuleOld = r;

Field Documentation

◆ deg

long CPairOld::deg
private

Definition at line 124 of file f5data.h.

◆ del

bool CPairOld::del
private

Definition at line 130 of file f5data.h.

◆ lp1

LPolyOld* CPairOld::lp1
private

Definition at line 126 of file f5data.h.

◆ lp2

LPolyOld* CPairOld::lp2
private

Definition at line 128 of file f5data.h.

◆ t1

poly CPairOld::t1
private

Definition at line 125 of file f5data.h.

◆ t2

poly CPairOld::t2
private

Definition at line 127 of file f5data.h.

◆ testedRuleOld

RuleOld* CPairOld::testedRuleOld
private

Definition at line 129 of file f5data.h.


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