atermpp::global_function_symbol
===============================================================================


Include file:

.. code-block:: c++

   #include "mcrl2/atermpp/function_symbol.h

.. cpp:class:: atermpp::global_function_symbol

  

  

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

.. cpp:function:: global_function_symbol(const std::string &name, const std::size_t arity)
  
  Defines a function symbol from a name and arity combination. 

  This constructor should be used by global function symbols.