X-Git-Url: https://ginac.de/ginac.git//ginac.git?a=blobdiff_plain;f=ginac%2Fremember.h;h=0bd5e560092318c80637259584a82c40e0e2969f;hb=5c4b3dd47c0af4702db2fcf35065a79258df6744;hp=704c3f8ef7c7a0c060fb45a43ce21a9ec8ec647b;hpb=dbd9c306a74f1cb258c0d15a346b973b39deaad2;p=ginac.git

diff --git a/ginac/remember.h b/ginac/remember.h
index 704c3f8e..0bd5e560 100644
--- a/ginac/remember.h
+++ b/ginac/remember.h
@@ -4,7 +4,7 @@
  *  in GiNaC functions */
 
 /*
- *  GiNaC Copyright (C) 1999-2003 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
@@ -18,7 +18,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_REMEMBER_H__
@@ -41,9 +41,9 @@ class remember_table_entry {
 public:
 	remember_table_entry(function const & f, ex const & r);
 	bool is_equal(function const & f) const;
-	ex get_result(void) const { return result; }
-	unsigned long get_last_access(void) const { return last_access; }
-	unsigned long get_successful_hits(void) const { return successful_hits; };
+	ex get_result() const { return result; }
+	unsigned long get_last_access() const { return last_access; }
+	unsigned long get_successful_hits() const { return successful_hits; };
 
 protected:
 	unsigned hashvalue;
@@ -86,11 +86,11 @@ public:
 	remember_table(unsigned s, unsigned as, unsigned strat);
 	bool lookup_entry(function const & f, ex & result) const;
 	void add_entry(function const & f, ex const & result);
-	void clear_all_entries(void);
+	void clear_all_entries();
 	void show_statistics(std::ostream & os, unsigned level) const;
-	static std::vector<remember_table> & remember_tables(void);
+	static std::vector<remember_table> & remember_tables();
 protected:
-	void init_table(void);
+	void init_table();
 	unsigned table_size;
 	unsigned max_assoc_size;
 	unsigned remember_strategy;