mcrl2::utilities::fifo_policy
===============================================================================


Include file:

.. code-block:: c++

   #include "mcrl2/utilities/cache_policy.h

.. cpp:class:: mcrl2::utilities::fifo_policy

  

  

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

.. cpp:type:: mcrl2::utilities::fifo_policy::key_type

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

  

Private attributes
-------------------------------------------------------------------------------

.. cpp:member:: std::forward_list< key_type >::iterator mcrl2::utilities::fifo_policy::m_last_element_it
  
  

  

.. cpp:member:: std::forward_list< key_type > mcrl2::utilities::fifo_policy::m_queue
  
  

  

Public member functions
-------------------------------------------------------------------------------

.. cpp:function:: void clear() override
  
  Called whenever the underlying cache is cleared. 

  

.. cpp:function:: fifo_policy()
  
  

  

.. cpp:function:: fifo_policy(const fifo_policy &other)
  
  

  

.. cpp:function:: fifo_policy(fifo_policy &&other) noexcept=default
  
  

  

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

  

.. cpp:function:: fifo_policy& operator=(const fifo_policy &other)
  
  

  

.. cpp:function:: fifo_policy& operator=(fifo_policy &&other) noexcept=default
  
  

  

.. cpp:function:: Map::iterator replacement_candidate(Map &map) override
  
  

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

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

  

Private member functions
-------------------------------------------------------------------------------

.. cpp:function:: void update_last_element_it()