mcrl2::state_formulas::detail::state_formula_data_variable_name_clash_checker
===============================================================================


Include file:

.. code-block:: c++

   #include "mcrl2/modal_formula/has_name_clashes.h

.. cpp:class:: mcrl2::state_formulas::detail::state_formula_data_variable_name_clash_checker

  Traverser that checks for name clashes in parameters of nested mu's/nu's and forall/exists. 

  

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

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

  typedef for :cpp:type:`state_formulas::state_formula_traverser\< state_formula_data_variable_name_clash_checker >`
  
  

  

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

.. cpp:member:: std::set< core::identifier_string > mcrl2::state_formulas::detail::state_formula_data_variable_name_clash_checker::m_names
  
  

  

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

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

  

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

  

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

  

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

  

.. cpp:function:: void erase(const core::identifier_string &name)
  
  

  

.. cpp:function:: void insert(const core::identifier_string &name, const state_formula &x)
  
  

  

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

  

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

  

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

  

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