X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=ginac%2Farchive.h;h=d141f2883880df900daf764a7e6e80743f6fd60a;hp=0dca095b5527a8fcb7d43239d7de249d7905d115;hb=0160f9ab1da453641e30539abcf0eaa4162582eb;hpb=e7cc6a764ff67b5885d6633385fac23ccc1dc9a7

diff --git a/ginac/archive.h b/ginac/archive.h
index 0dca095b..d141f288 100644
--- a/ginac/archive.h
+++ b/ginac/archive.h
@@ -3,7 +3,7 @@
  *  Archiving of GiNaC expressions. */
 
 /*
- *  GiNaC Copyright (C) 1999-2002 Johannes Gutenberg University Mainz, Germany
+ *  GiNaC Copyright (C) 1999-2005 Johannes Gutenberg University Mainz, Germany
  *
  *  This program is free software; you can redistribute it and/or modify
  *  it under the terms of the GNU General Public License as published by
@@ -17,7 +17,7 @@
  *
  *  You should have received a copy of the GNU General Public License
  *  along with this program; if not, write to the Free Software
- *  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
+ *  Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301  USA
  */
 
 #ifndef __GINAC_ARCHIVE_H__
@@ -28,10 +28,10 @@
 #include <iosfwd>
 #include <string>
 #include <vector>
+#include <map>
 
 namespace GiNaC {
 
-class lst;
 class archive;
 
 
@@ -65,10 +65,6 @@ public:
 	struct property_info {
 		property_info() {}
 		property_info(property_type t, const std::string &n, unsigned c = 1) : type(t), name(n), count(c) {}
-		~property_info() {}
-
-		property_info(const property_info &other) : type(other.type), name(other.name), count(other.count) {}
-		const property_info &operator=(const property_info &other);
 
 		property_type type;	/**< Data type of property. */
 		std::string name;   /**< Name of property. */
@@ -79,9 +75,7 @@ public:
 	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);
-	~archive_node() {}
 
-	archive_node(const archive_node &other);
 	const archive_node &operator=(const archive_node &other);
 
 	/** Add property of type "bool" to node. */
@@ -110,7 +104,7 @@ public:
 
 	/** Retrieve property of type "ex" from node.
 	 *  @return "true" if property was found, "false" otherwise */
-	bool find_ex(const std::string &name, ex &ret, const lst &sym_lst, unsigned index = 0) const;
+	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. */
@@ -119,23 +113,21 @@ public:
 	/** Return vector of properties stored in node. */
 	void get_properties(propinfovector &v) const;
 
-	ex unarchive(const lst &sym_lst) 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;}
 
-	void forget(void);
+	void forget();
 	void printraw(std::ostream &os) const;
 
 private:
-	static archive* dummy_ar_creator(void);
+	static archive* dummy_ar_creator();
 
 	/** Archived property (data type, name and associated data) */
 	struct property {
 		property() {}
 		property(archive_atom n, property_type t, unsigned v) : type(t), name(n), value(v) {}
-		~property() {}
-
-		property(const property &other) : type(other.type), name(other.name), value(other.value) {}
-		const property &operator=(const property &other);
 
 		property_type type; /**< Data type of property. */
 		archive_atom name;  /**< Name of property. */
@@ -184,33 +176,36 @@ public:
 	void archive_ex(const ex &e, const char *name);
 
 	/** Retrieve expression from archive by name.
-	 *  @param sym_lst list of pre-defined symbols */
+	 *  @param sym_lst list of pre-defined symbols
+	 *  @param name name of expression */
 	ex unarchive_ex(const lst &sym_lst, const char *name) const;
 
 	/** Retrieve expression from archive by index.
 	 *  @param sym_lst list of pre-defined symbols
+	 *  @param index index of expression
      *  @see count_expressions */
 	ex unarchive_ex(const lst &sym_lst, unsigned index = 0) const;
 
 	/** Retrieve expression and its name from archive by index.
 	 *  @param sym_lst list of pre-defined symbols
 	 *  @param name receives the name of the expression
+	 *  @param index index of expression
      *  @see count_expressions */
 	ex unarchive_ex(const lst &sym_lst, std::string &name, unsigned index = 0) const;
 
 	/** Return number of archived expressions. */
-	unsigned num_expressions(void) const;
+	unsigned num_expressions() const;
 
 	/** Return reference to top node of an expression specified by index. */
 	const archive_node &get_top_node(unsigned index = 0) const;
 
 	/** Clear all archived expressions. */
-	void clear(void);
+	void clear();
 
 	archive_node_id add_node(const archive_node &n);
 	archive_node &get_node(archive_node_id id);
 
-	void forget(void);
+	void forget();
 	void printraw(std::ostream &os) const;
 
 private:
@@ -236,6 +231,10 @@ public:
 private:
 	/** Vector of atomized strings (using a vector allows faster unarchiving). */
 	mutable std::vector<std::string> 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;
 };