mcrl2::utilities::no_policy< Map > Class Template Reference

A policy that replaces an arbitrary (but not random) element. More...

#include <cache_policy.h>

Inheritance diagram for mcrl2::utilities::no_policy< Map >:

Public Types
using	key_type = typename Map::key_type
Public Types inherited from mcrl2::utilities::replacement_policy< Map >
using	key_type = typename Map::key_type
using	map_type = Map

Public Member Functions
Map::iterator	replacement_candidate (Map &map) override
void	clear () override
	Called whenever the underlying cache is cleared.
void	inserted (const key_type &) 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.

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.

Detailed Description

template<typename Map>
class mcrl2::utilities::no_policy< Map >

A policy that replaces an arbitrary (but not random) element.

Definition at line 46 of file cache_policy.h.

Member Typedef Documentation

key_type

template<typename Map >

using mcrl2::utilities::no_policy< Map >::key_type = typename Map::key_type

Definition at line 49 of file cache_policy.h.

Member Function Documentation

clear()

template<typename Map >

void mcrl2::utilities::no_policy< Map >::clear ( )

inlineoverridevirtual

Called whenever the underlying cache is cleared.

Implements mcrl2::utilities::replacement_policy< Map >.

Definition at line 54 of file cache_policy.h.

inserted()

template<typename Map >

void mcrl2::utilities::no_policy< Map >::inserted ( const key_type &  key )

inlineoverridevirtual

Called whenever a new element has been inserted into the cache.

Implements mcrl2::utilities::replacement_policy< Map >.

Definition at line 55 of file cache_policy.h.

replacement_candidate()

template<typename Map >

Map::iterator mcrl2::utilities::no_policy< Map >::replacement_candidate ( Map &  map )

inlineoverridevirtual

Returns

An iterator to the key that should be replaced when the cache is full.

Implements mcrl2::utilities::replacement_policy< Map >.

Definition at line 51 of file cache_policy.h.

touch()

template<typename Map >

void mcrl2::utilities::no_policy< Map >::touch ( const key_type &  key )

inlineoverridevirtual

Called whenever an element was found in the cache.

Implements mcrl2::utilities::replacement_policy< Map >.

Definition at line 56 of file cache_policy.h.

---

The documentation for this class was generated from the following file:

• utilities/include/mcrl2/utilities/cache_policy.h