GiNaC 1.8.7
|
A single entry in the remember table of a function. More...
#include <remember.h>
Public Member Functions | |
remember_table_entry (function const &f, ex const &r) | |
bool | is_equal (function const &f) const |
ex | get_result () const |
unsigned long | get_last_access () const |
unsigned long | get_successful_hits () const |
Protected Attributes | |
unsigned | hashvalue |
exvector | seq |
ex | result |
unsigned long | last_access |
unsigned | successful_hits |
Static Protected Attributes | |
static unsigned long | access_counter = 0 |
A single entry in the remember table of a function.
Needs to be a friend of class function to access 'seq'. 'last_access' and 'successful_hits' are updated at each successful 'is_equal'.
Definition at line 40 of file remember.h.
Definition at line 36 of file remember.cpp.
References access_counter, last_access, and successful_hits.
bool GiNaC::remember_table_entry::is_equal | ( | function const & | f | ) | const |
Definition at line 43 of file remember.cpp.
References access_counter, GiNaC::basic::gethash(), GINAC_ASSERT, hashvalue, is_equal(), last_access, GiNaC::container_storage< C >::seq, seq, and successful_hits.
Referenced by is_equal().
|
inline |
Definition at line 44 of file remember.h.
References result.
|
inline |
Definition at line 45 of file remember.h.
References last_access.
|
inline |
Definition at line 46 of file remember.h.
References successful_hits.
|
protected |
Definition at line 49 of file remember.h.
Referenced by is_equal().
|
protected |
Definition at line 50 of file remember.h.
Referenced by is_equal().
|
protected |
Definition at line 51 of file remember.h.
Referenced by get_result().
|
mutableprotected |
Definition at line 52 of file remember.h.
Referenced by get_last_access(), is_equal(), and remember_table_entry().
|
mutableprotected |
Definition at line 53 of file remember.h.
Referenced by get_successful_hits(), is_equal(), and remember_table_entry().
|
staticprotected |
Definition at line 54 of file remember.h.
Referenced by is_equal(), and remember_table_entry().