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 ()
LPolyOld *	getAdLp1 ()
poly	getLp1Poly ()
poly	getLp1Term ()
int	getLp1Index ()
poly	getT2 ()
poly *	getAdT2 ()
LPolyOld *	getAdLp2 ()
poly	getLp2Poly ()
poly	getLp2Term ()
int	getLp2Index ()
bool	getDel ()
RuleOld *	getTestedRuleOld ()
void	setTestedRuleOld (RuleOld *r)

Private Attributes
long	deg
poly	t1
LPolyOld *	lp1
poly	t2
LPolyOld *	lp2
RuleOld *	testedRuleOld
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.

                                                                                                                          {
   deg              =   degree;
   t1               =   term1;
   lp1              =   LPolyOld1;
   t2               =   term2;
   lp2              =   LPolyOld2;
   testedRuleOld       =   r;
   del              =   useless;
}

Member Function Documentation

getAdLp1()

LPolyOld * CPairOld::getAdLp1 ( )

inline

Definition at line 182 of file f5data.h.

                             {
    return lp1;
}

getAdLp2()

LPolyOld * CPairOld::getAdLp2 ( )

inline

Definition at line 186 of file f5data.h.

                             {
    return lp2;
}

getAdT1()

poly * CPairOld::getAdT1 ( )

inline

Definition at line 170 of file f5data.h.

                        {
    return &t1;
}

getAdT2()

poly * CPairOld::getAdT2 ( )

inline

Definition at line 174 of file f5data.h.

                        {
    return &t2;
}

getDeg()

long CPairOld::getDeg ( )

inline

Definition at line 162 of file f5data.h.

                      {
    return deg;
}

getDel()

bool CPairOld::getDel ( )

inline

Definition at line 214 of file f5data.h.

                      {
  return del;
}

getLp1Index()

int CPairOld::getLp1Index ( )

inline

Definition at line 206 of file f5data.h.

                          {
    return lp1->getIndex();
}

getLp1Poly()

poly CPairOld::getLp1Poly ( )

inline

Definition at line 190 of file f5data.h.

                          {
    return lp1->getPoly();
}

getLp1Term()

poly CPairOld::getLp1Term ( )

inline

Definition at line 198 of file f5data.h.

                          {
    return lp1->getTerm();
}

getLp2Index()

int CPairOld::getLp2Index ( )

inline

Definition at line 210 of file f5data.h.

                          {
    return lp2->getIndex();
}

getLp2Poly()

poly CPairOld::getLp2Poly ( )

inline

Definition at line 194 of file f5data.h.

                          {
    return lp2->getPoly();
}

getLp2Term()

poly CPairOld::getLp2Term ( )

inline

Definition at line 202 of file f5data.h.

                          {
    return lp2->getTerm();
}

getT1()

poly CPairOld::getT1 ( )

inline

Definition at line 166 of file f5data.h.

                     {
    return t1;
}

getT2()

poly CPairOld::getT2 ( )

inline

Definition at line 178 of file f5data.h.

                     {
    return t2;
}

getTestedRuleOld()

RuleOld * CPairOld::getTestedRuleOld ( )

inline

Definition at line 218 of file f5data.h.

                                    {
    return testedRuleOld;
}

setTestedRuleOld()

void CPairOld::setTestedRuleOld ( RuleOld *  r )

inline

Definition at line 222 of file f5data.h.

                                          {
    testedRuleOld      =   r;
}

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:

• kernel/GBEngine/f5data.h