.. _add_binding.h:
  
mcrl2/modal_formula/add_binding.h
===============================================================================

Include file: 

.. code-block:: c++ 

   #include "mcrl2/modal_formula/add_binding.h"

add your file description here. 




Classes
-------

* :cpp:class:`mcrl2::state_formulas::add_data_variable_binding`

* :cpp:class:`mcrl2::regular_formulas::add_data_variable_binding`

* :cpp:class:`mcrl2::action_formulas::add_data_variable_binding`

* :cpp:class:`mcrl2::state_formulas::add_data_variable_builder_binding`

* :cpp:class:`mcrl2::regular_formulas::add_data_variable_builder_binding`

* :cpp:class:`mcrl2::action_formulas::add_data_variable_builder_binding`

* :cpp:class:`mcrl2::state_formulas::add_data_variable_traverser_binding`

* :cpp:class:`mcrl2::regular_formulas::add_data_variable_traverser_binding`

* :cpp:class:`mcrl2::action_formulas::add_data_variable_traverser_binding`

* :cpp:class:`mcrl2::state_formulas::add_state_variable_binding`