};
typedef std::vector<property>::const_iterator archive_node_cit;
- archive_node() : a(*dummy_ar_creator()), has_expression(false) {} // hack for cint which always requires a default constructor
archive_node(archive &ar) : a(ar), has_expression(false) {}
archive_node(archive &ar, const ex &expr);
void printraw(std::ostream &os) const;
private:
- static archive* dummy_ar_creator();
-
/** Reference to the archive to which this node belongs. */
archive &a;
mutable std::map<std::string, archive_atom> inverse_atoms;
/** Map of stored expressions to nodes for faster archiving */
- typedef std::map<ex, archive_node_id, ex_is_less>::iterator mapit;
mutable std::map<ex, archive_node_id, ex_is_less> exprtable;
};