+ /** Retrieve property of type "string" from node.
+ * @return "true" if property was found, "false" otherwise */
+ bool find_string(const std::string &name, std::string &ret, unsigned index = 0) const;
+
+ /** Retrieve property of type "ex" from node.
+ * @return "true" if property was found, "false" otherwise */
+ bool find_ex(const std::string &name, ex &ret, lst &sym_lst, unsigned index = 0) const;
+
+ /** Retrieve property of type "ex" from node, returning the node of
+ * the sub-expression. */
+ const archive_node &find_ex_node(const std::string &name, unsigned index = 0) const;
+
+ /** Return vector of properties stored in node. */
+ void get_properties(propinfovector &v) const;
+
+ ex unarchive(lst &sym_lst) const;
+ bool has_same_ex_as(const archive_node &other) const;
+ bool has_ex() const {return has_expression;}
+ ex get_ex() const {return e;}