mcrl2::data::multiset_identifier_generator
===============================================================================


Include file:

.. code-block:: c++

   #include "mcrl2/data/set_identifier_generator.h

.. cpp:class:: mcrl2::data::multiset_identifier_generator

  Identifier generator that stores the identifiers of the context in a multiset. If an identifier occurs multiple times, multiple calls to remove_from_context are required to remove it. Using the operator()() and operator()(std::string) fresh identifiers can be generated that do not appear in the context. 

  

Protected attributes
-------------------------------------------------------------------------------

.. cpp:member:: std::multiset< core::identifier_string > mcrl2::data::multiset_identifier_generator::m_identifiers
  
  The context of the identifier generator. 

  

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

.. cpp:function:: void add_identifier(const core::identifier_string &s) override
  
  Adds the identifier s to the context. 

  
  
  **Parameters:**

  * **s** A 



.. cpp:function:: void clear_context() override
  
  Clears the context. 

  

.. cpp:function:: const std::multiset<core::identifier_string>& context() const
  
  Returns the context. 

  
      
  **Returns:** The context. 

.. cpp:function:: bool has_identifier(const core::identifier_string &s) const override
  
  Returns true if the identifier s appears in the context. 

  
  
  **Parameters:**

  * **s** A 


      
  **Returns:** True if the identifier s appears in the context. 

.. cpp:function:: multiset_identifier_generator()=default
  
  Constructor. 

  

.. cpp:function:: void remove_identifier(const core::identifier_string &s) override
  
  Removes one occurrence of the identifier s from the context. 

  
  
  **Parameters:**

  * **s** A