| 66 |
// functions overriding virtual functions from bases classes |
// functions overriding virtual functions from bases classes |
| 67 |
public: |
public: |
| 68 |
basic * duplicate() const; |
basic * duplicate() const; |
| 69 |
void print(ostream & os, unsigned upper_precedence) const; |
void print(std::ostream & os, unsigned upper_precedence) const; |
| 70 |
void printraw(ostream & os) const; |
void printraw(std::ostream & os) const; |
| 71 |
void printcsrc(ostream & os, unsigned upper_precedence) const; |
void printcsrc(std::ostream & os, unsigned upper_precedence) const; |
| 72 |
bool info(unsigned inf) const; |
bool info(unsigned inf) const; |
| 73 |
int degree(const symbol & s) const; |
int degree(const symbol & s) const; |
| 74 |
int ldegree(const symbol & s) const; |
int ldegree(const symbol & s) const; |