]> www.ginac.de Git - ginac.git/blobdiff - ginac/remember.h
[bugfix] Always #include <lst.h> before using lst. Fixes build error on MinGW.
[ginac.git] / ginac / remember.h
index 2df5f8d4f740e793d10cf96c4ee88f59884548ac..d140f9018f77f375e3d471fc4d6641231c40ad93 100644 (file)
@@ -4,7 +4,7 @@
  *  in GiNaC functions */
 
 /*
- *  GiNaC Copyright (C) 1999-2001 Johannes Gutenberg University Mainz, Germany
+ *  GiNaC Copyright (C) 1999-2011 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
  *
  *  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__
-#define __GINAC_REMEMBER_H__
+#ifndef GINAC_REMEMBER_H
+#define GINAC_REMEMBER_H
 
 #include <iosfwd>
-#include <vector>
 #include <list>
+#include <vector>
 
 namespace GiNaC {
 
@@ -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;
@@ -98,4 +98,4 @@ protected:
 
 } // namespace GiNaC
 
-#endif // ndef __GINAC_REMEMBER_H__
+#endif // ndef GINAC_REMEMBER_H