mcrl2::state_formulas::detail::state_variable_name_clash_resolver
===============================================================================


Include file:

.. code-block:: c++

   #include "mcrl2/modal_formula/resolve_name_clashes.h

.. cpp:class:: mcrl2::state_formulas::detail::state_variable_name_clash_resolver

  

  

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

.. cpp:type:: mcrl2::state_formulas::detail::state_variable_name_clash_resolver::name_map

  typedef for :cpp:type:`std::map\< core::identifier_string, std::vector\< core::identifier_string > >`
  
  

  

.. cpp:type:: mcrl2::state_formulas::detail::state_variable_name_clash_resolver::super

  typedef for :cpp:type:`state_formulas::state_formula_builder\< Derived >`
  
  

  

Public attributes
-------------------------------------------------------------------------------

.. cpp:member:: utilities::number_postfix_generator mcrl2::state_formulas::detail::state_variable_name_clash_resolver::m_generator
  
  Generator for fresh variable names. 

  

.. cpp:member:: name_map mcrl2::state_formulas::detail::state_variable_name_clash_resolver::m_names
  
  The stack of names. 

  

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

.. cpp:function:: state_formula apply(const mu &x)
  
  

  

.. cpp:function:: state_formula apply(const nu &x)
  
  

  

.. cpp:function:: state_formula apply(const variable &x)
  
  

  

.. cpp:function:: void enter(const mu &x)
  
  

  

.. cpp:function:: void enter(const nu &x)
  
  

  

.. cpp:function:: void leave(const mu &x)
  
  

  

.. cpp:function:: void leave(const nu &x)
  
  

  

.. cpp:function:: void pop(const core::identifier_string &name)
  
  Pops the name of the stack. 

  

.. cpp:function:: void push(const core::identifier_string &name)
  
  Pushes name on the stack.