I am unable to see a point in ever overriding these two member functions.
// new virtual functions which can be overridden by derived classes
//////////
-/** Left hand side of relational. */
-ex relational::lhs() const
-{
- return lh;
-}
-
-/** Right hand side of relational. */
-ex relational::rhs() const
-{
- return rh;
-}
+// none
//////////
// non-virtual functions in this class
void do_print_python_repr(const print_python_repr & c, unsigned level) const;
public:
- virtual ex lhs() const;
- virtual ex rhs() const;
+ ex lhs() const { return lh; }
+ ex rhs() const { return rh; }
// non-virtual functions in this class
private: