// functions overriding virtual functions from base classes
public:
- void print(const print_context & c, unsigned level = 0) const;
bool match(const ex & pattern, lst & repl_lst) const;
protected:
- unsigned calchash(void) const;
+ unsigned calchash() const;
// non-virtual functions in this class
public:
- unsigned get_label(void) const {return label;}
+ unsigned get_label() const {return label;}
+
+protected:
+ void do_print(const print_context & c, unsigned level) const;
+ void do_print_tree(const print_tree & c, unsigned level) const;
+ void do_print_python_repr(const print_python_repr & c, unsigned level) const;
// member variables
private: