mcrl2::state_formulas::detail::state_formula_data_variable_name_clash_resolver
===============================================================================


Include file:

.. code-block:: c++

   #include "mcrl2/modal_formula/resolve_name_clashes.h

.. cpp:class:: mcrl2::state_formulas::detail::state_formula_data_variable_name_clash_resolver

  

  

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

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

  typedef for :cpp:type:`state_formulas::data_expression_builder\< state_formula_data_variable_name_clash_resolver >`
  
  

  

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

.. cpp:member:: std::multiset< data::variable > mcrl2::state_formulas::detail::state_formula_data_variable_name_clash_resolver::bound_variables
  
  

  

.. cpp:member:: data::set_identifier_generator & mcrl2::state_formulas::detail::state_formula_data_variable_name_clash_resolver::generator
  
  

  

.. cpp:member:: std::map< data::variable, std::vector< data::variable > > mcrl2::state_formulas::detail::state_formula_data_variable_name_clash_resolver::substitutions
  
  

  

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

.. cpp:function:: action_formulas::action_formula apply(const action_formulas::exists &x)
  
  

  

.. cpp:function:: action_formulas::action_formula apply(const action_formulas::forall &x)
  
  

  

.. cpp:function:: data::data_expression apply(const data::data_expression &x)
  
  

  

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

  

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

  

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

  

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

  

.. cpp:function:: data::assignment_list apply_assignments(const data::assignment_list &x)
  
  

  

.. cpp:function:: data::variable_list apply_variables(const data::variable_list &x)
  
  

  

.. cpp:function:: void erase(const data::variable &v)
  
  

  

.. cpp:function:: void insert(const data::variable &v)
  
  

  

.. cpp:function:: state_formula_data_variable_name_clash_resolver(data::set_identifier_generator &generator_)