* in GiNaC functions */
/*
- * GiNaC Copyright (C) 1999-2001 Johannes Gutenberg University Mainz, Germany
+ * GiNaC Copyright (C) 1999-2004 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
#ifndef __GINAC_REMEMBER_H__
#define __GINAC_REMEMBER_H__
+#include <iosfwd>
#include <vector>
#include <list>
-#ifndef NO_NAMESPACE_GINAC
namespace GiNaC {
-#endif // ndef NO_NAMESPACE_GINAC
class function;
class ex;
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;
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;
};
-#ifndef NO_NAMESPACE_GINAC
} // namespace GiNaC
-#endif // ndef NO_NAMESPACE_GINAC
#endif // ndef __GINAC_REMEMBER_H__