mCRL2
|
#include <cache_policy.h>
Public Types | |
using | key_type = typename Map::key_type |
![]() | |
using | key_type = typename Map::key_type |
using | map_type = Map |
Public Member Functions | |
fifo_policy () | |
fifo_policy (const fifo_policy &other) | |
fifo_policy & | operator= (const fifo_policy &other) |
fifo_policy (fifo_policy &&other) noexcept=default | |
fifo_policy & | operator= (fifo_policy &&other) noexcept=default |
void | clear () override |
Called whenever the underlying cache is cleared. | |
Map::iterator | replacement_candidate (Map &map) override |
void | inserted (const key_type &key) override |
Called whenever a new element has been inserted into the cache. | |
void | touch (const key_type &) override |
Called whenever an element was found in the cache. | |
Private Member Functions | |
void | update_last_element_it () |
Private Attributes | |
std::forward_list< key_type > | m_queue |
std::forward_list< key_type >::iterator | m_last_element_it |
Additional Inherited Members | |
virtual void | clear ()=0 |
Called whenever the underlying cache is cleared. | |
virtual void | inserted (const key_type &key)=0 |
Called whenever a new element has been inserted into the cache. | |
virtual Map::iterator | replacement_candidate (Map &map)=0 |
virtual void | touch (const key_type &key)=0 |
Called whenever an element was found in the cache. | |
Definition at line 60 of file cache_policy.h.
using mcrl2::utilities::fifo_policy< Map >::key_type = typename Map::key_type |
Definition at line 63 of file cache_policy.h.
|
inline |
Definition at line 65 of file cache_policy.h.
|
inline |
Definition at line 70 of file cache_policy.h.
|
defaultnoexcept |
|
inlineoverridevirtual |
Called whenever the underlying cache is cleared.
Implements mcrl2::utilities::replacement_policy< Map >.
Definition at line 87 of file cache_policy.h.
|
inlineoverridevirtual |
Called whenever a new element has been inserted into the cache.
Implements mcrl2::utilities::replacement_policy< Map >.
Definition at line 103 of file cache_policy.h.
|
inline |
Definition at line 76 of file cache_policy.h.
|
defaultnoexcept |
|
inlineoverridevirtual |
Implements mcrl2::utilities::replacement_policy< Map >.
Definition at line 93 of file cache_policy.h.
|
inlineoverridevirtual |
Called whenever an element was found in the cache.
Implements mcrl2::utilities::replacement_policy< Map >.
Definition at line 109 of file cache_policy.h.
|
inlineprivate |
Definition at line 113 of file cache_policy.h.
|
private |
Definition at line 123 of file cache_policy.h.
|
private |
Definition at line 122 of file cache_policy.h.