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.