mcrl2::utilities::replacement_policy
===============================================================================


Include file:

.. code-block:: c++

   #include "mcrl2/utilities/cache_policy.h

.. cpp:class:: mcrl2::utilities::replacement_policy

  An interface to implement a replacement policy for the fixed_size_cache. 

  

Public types
-------------------------------------------------------------------------------

.. cpp:type:: mcrl2::utilities::replacement_policy::key_type

  typedef for :cpp:type:`typename Map::key_type`
  
  

  

.. cpp:type:: mcrl2::utilities::replacement_policy::map_type

  typedef for :cpp:type:`Map`
  
  

  

Protected member functions
-------------------------------------------------------------------------------

.. cpp:function:: virtual void clear()=0
  
  Called whenever the underlying cache is cleared. 

  

.. cpp:function:: virtual void inserted(const key_type &key)=0
  
  Called whenever a new element has been inserted into the cache. 

  

.. cpp:function:: virtual Map::iterator replacement_candidate(Map &map)=0
  
  

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

.. cpp:function:: virtual void touch(const key_type &key)=0
  
  Called whenever an element was found in the cache.