mCRL2
|
An interface to implement a replacement policy for the fixed_size_cache. More...
#include <cache_policy.h>
Public Types | |
using | key_type = typename Map::key_type |
using | map_type = Map |
Protected Member Functions | |
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. | |
An interface to implement a replacement policy for the fixed_size_cache.
Definition at line 24 of file cache_policy.h.
using mcrl2::utilities::replacement_policy< Map >::key_type = typename Map::key_type |
Definition at line 27 of file cache_policy.h.
using mcrl2::utilities::replacement_policy< Map >::map_type = Map |
Definition at line 28 of file cache_policy.h.
|
protectedpure virtual |
Called whenever the underlying cache is cleared.
Implemented in mcrl2::utilities::no_policy< Map >, and mcrl2::utilities::fifo_policy< Map >.
|
protectedpure virtual |
Called whenever a new element has been inserted into the cache.
Implemented in mcrl2::utilities::no_policy< Map >, and mcrl2::utilities::fifo_policy< Map >.
|
protectedpure virtual |
Implemented in mcrl2::utilities::no_policy< Map >, and mcrl2::utilities::fifo_policy< Map >.
|
protectedpure virtual |
Called whenever an element was found in the cache.
Implemented in mcrl2::utilities::no_policy< Map >, and mcrl2::utilities::fifo_policy< Map >.