- unsigned precedence() const {return 20;}
- bool info(unsigned inf) const;
- size_t nops() const;
- ex op(size_t i) const;
- ex map(map_function & f) const;
- ex subs(const exmap & m, unsigned options = 0) const;
- ex eval(int level=0) const;
-
+ unsigned precedence() const override {return 20;}
+ bool info(unsigned inf) const override;
+ size_t nops() const override;
+ ex op(size_t i) const override;
+ ex map(map_function & f) const override;
+ ex subs(const exmap & m, unsigned options = 0) const override;
+
+ /** Save (a.k.a. serialize) object into archive. */
+ void archive(archive_node& n) const override;
+ /** Read (a.k.a. deserialize) object from archive. */
+ void read_archive(const archive_node& n, lst& syms) override;