X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=ginac%2Fremember.h;h=868b96620967871d507aca9c6501d82e08589a2c;hp=704c3f8ef7c7a0c060fb45a43ce21a9ec8ec647b;hb=e8c9b4a51a1c8f1230b023b0af6a708881ef23d3;hpb=dbd9c306a74f1cb258c0d15a346b973b39deaad2 diff --git a/ginac/remember.h b/ginac/remember.h index 704c3f8e..868b9662 100644 --- a/ginac/remember.h +++ b/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_tables(void); + static std::vector & remember_tables(); protected: - void init_table(void); + void init_table(); unsigned table_size; unsigned max_assoc_size; unsigned remember_strategy;