- // functions overriding virtual functions from base classes
-public:
- void print(const print_context & c, unsigned level = 0) const;
+ // non-virtual functions in this class
+protected:
+ void do_print(const print_context & c, unsigned level) const;
+ void do_print_latex(const print_latex & c, unsigned level) const;