Include file:

#include "mcrl2/utilities/cache_policy.h
class mcrl2::utilities::replacement_policy

An interface to implement a replacement policy for the fixed_size_cache.

Public types

type mcrl2::utilities::replacement_policy::key_type

typedef for typename Map::key_type

type mcrl2::utilities::replacement_policy::map_type

typedef for 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

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

virtual void touch(const key_type &key) = 0

Called whenever an element was found in the cache.