- // functions overriding virtual functions from base classes
-public:
- basic * duplicate() const;
- void printraw(ostream & os) const;
- void printtree(ostream & os, unsigned indent) const;
- void print(ostream & os, unsigned upper_precedence=0) const;
- void printcsrc(ostream & os, unsigned type, unsigned upper_precedence) const;
- bool info(unsigned inf) const;
- ex diff(symbol const & s) const;
- exvector get_indices(void) const;