Public Member Functions | Private Attributes
CPairOld Class Reference


structure of labeled critical pairs

More...

#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 ()
 
polygetAdT1 ()
 
LPolyOldgetAdLp1 ()
 
poly getLp1Poly ()
 
poly getLp1Term ()
 
int getLp1Index ()
 
poly getT2 ()
 
polygetAdT2 ()
 
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 ( 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 }
long deg
Definition: f5data.h:125
RuleOld * testedRuleOld
Definition: f5data.h:130
LPolyOld * lp2
Definition: f5data.h:129
poly t2
Definition: f5data.h:128
poly t1
Definition: f5data.h:126
const ring r
Definition: syzextra.cc:208
bool del
Definition: f5data.h:131
int degree(const CanonicalForm &f)
LPolyOld * lp1
Definition: f5data.h:127

Member Function Documentation

LPolyOld * CPairOld::getAdLp1 ( )
inline

Definition at line 182 of file f5data.h.

182  {
183  return lp1;
184 }
LPolyOld * lp1
Definition: f5data.h:127
LPolyOld * CPairOld::getAdLp2 ( )
inline

Definition at line 186 of file f5data.h.

186  {
187  return lp2;
188 }
LPolyOld * lp2
Definition: f5data.h:129
poly * CPairOld::getAdT1 ( )
inline

Definition at line 170 of file f5data.h.

170  {
171  return &t1;
172 }
poly t1
Definition: f5data.h:126
poly * CPairOld::getAdT2 ( )
inline

Definition at line 174 of file f5data.h.

174  {
175  return &t2;
176 }
poly t2
Definition: f5data.h:128
long CPairOld::getDeg ( )
inline

Definition at line 162 of file f5data.h.

162  {
163  return deg;
164 }
long deg
Definition: f5data.h:125
bool CPairOld::getDel ( )
inline

Definition at line 214 of file f5data.h.

214  {
215  return del;
216 }
bool del
Definition: f5data.h:131
int CPairOld::getLp1Index ( )
inline

Definition at line 206 of file f5data.h.

206  {
207  return lp1->getIndex();
208 }
int getIndex()
Definition: f5data.h:94
LPolyOld * lp1
Definition: f5data.h:127
poly CPairOld::getLp1Poly ( )
inline

Definition at line 190 of file f5data.h.

190  {
191  return lp1->getPoly();
192 }
poly getPoly()
Definition: f5data.h:86
LPolyOld * lp1
Definition: f5data.h:127
poly CPairOld::getLp1Term ( )
inline

Definition at line 198 of file f5data.h.

198  {
199  return lp1->getTerm();
200 }
poly getTerm()
Definition: f5data.h:90
LPolyOld * lp1
Definition: f5data.h:127
int CPairOld::getLp2Index ( )
inline

Definition at line 210 of file f5data.h.

210  {
211  return lp2->getIndex();
212 }
LPolyOld * lp2
Definition: f5data.h:129
int getIndex()
Definition: f5data.h:94
poly CPairOld::getLp2Poly ( )
inline

Definition at line 194 of file f5data.h.

194  {
195  return lp2->getPoly();
196 }
LPolyOld * lp2
Definition: f5data.h:129
poly getPoly()
Definition: f5data.h:86
poly CPairOld::getLp2Term ( )
inline

Definition at line 202 of file f5data.h.

202  {
203  return lp2->getTerm();
204 }
LPolyOld * lp2
Definition: f5data.h:129
poly getTerm()
Definition: f5data.h:90
poly CPairOld::getT1 ( )
inline

Definition at line 166 of file f5data.h.

166  {
167  return t1;
168 }
poly t1
Definition: f5data.h:126
poly CPairOld::getT2 ( )
inline

Definition at line 178 of file f5data.h.

178  {
179  return t2;
180 }
poly t2
Definition: f5data.h:128
RuleOld * CPairOld::getTestedRuleOld ( )
inline

Definition at line 218 of file f5data.h.

218  {
219  return testedRuleOld;
220 }
RuleOld * testedRuleOld
Definition: f5data.h:130
void CPairOld::setTestedRuleOld ( RuleOld r)
inline

Definition at line 222 of file f5data.h.

222  {
223  testedRuleOld = r;
224 }
RuleOld * testedRuleOld
Definition: f5data.h:130
const ring r
Definition: syzextra.cc:208

Field Documentation

long CPairOld::deg
private

Definition at line 125 of file f5data.h.

bool CPairOld::del
private

Definition at line 131 of file f5data.h.

LPolyOld* CPairOld::lp1
private

Definition at line 127 of file f5data.h.

LPolyOld* CPairOld::lp2
private

Definition at line 129 of file f5data.h.

poly CPairOld::t1
private

Definition at line 126 of file f5data.h.

poly CPairOld::t2
private

Definition at line 128 of file f5data.h.

RuleOld* CPairOld::testedRuleOld
private

Definition at line 130 of file f5data.h.


The documentation for this class was generated from the following file: