#include <Cache.h>
|
std::size_t | usageCount |
| Store the number of usages of the entry in the cache for which this information hold by external objects. More...
|
|
std::vector< Ref > | refStoragePositions |
| Stores the reference of the entry in the cache for which this information hold. More...
|
|
double | activity |
| Stores the activity of the entry in the cache for which this information hold. More...
|
|
template<typename T>
struct carl::Cache< T >::Info
Definition at line 53 of file Cache.h.
◆ Info()
◆ activity
Stores the activity of the entry in the cache for which this information hold.
The activity states how often the entry is involved in computations in the recent past.
Definition at line 68 of file Cache.h.
◆ refStoragePositions
Stores the reference of the entry in the cache for which this information hold.
Definition at line 62 of file Cache.h.
◆ usageCount
Store the number of usages of the entry in the cache for which this information hold by external objects.
Definition at line 57 of file Cache.h.
The documentation for this struct was generated from the following file: