.. _translate_user_notation.h:
  
mcrl2/modal_formula/translate_user_notation.h
===============================================================================

Include file: 

.. code-block:: c++ 

   #include "mcrl2/modal_formula/translate_user_notation.h"

add your file description here. 



Functions
-------------------------------------------------------------------------------

.. cpp:function:: T mcrl2::action_formulas::translate_user_notation(const T &x, typename std::enable_if< std::is_base_of< atermpp::aterm, T >::value >::type *=nullptr)
  
  

  

.. cpp:function:: void mcrl2::action_formulas::translate_user_notation(T &x, typename std::enable_if< !std::is_base_of< atermpp::aterm, T >::value >::type *=0)
  
  

  

Functions
-------------------------------------------------------------------------------

.. cpp:function:: T mcrl2::regular_formulas::translate_user_notation(const T &x, typename std::enable_if< std::is_base_of< atermpp::aterm, T >::value >::type *=nullptr)
  
  

  

.. cpp:function:: void mcrl2::regular_formulas::translate_user_notation(T &x, typename std::enable_if< !std::is_base_of< atermpp::aterm, T >::value >::type *=0)
  
  

  

Functions
-------------------------------------------------------------------------------

.. cpp:function:: T mcrl2::state_formulas::translate_user_notation(const T &x, typename std::enable_if< std::is_base_of< atermpp::aterm, T >::value >::type *=nullptr)
  
  

  

.. cpp:function:: void mcrl2::state_formulas::translate_user_notation(T &x, typename std::enable_if< !std::is_base_of< atermpp::aterm, T >::value >::type *=0)