// 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:
public:
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:
unsigned label; /**< Label used to distinguish different wildcards */