atermpp::global_function_symbol

Include file:

#include "mcrl2/atermpp/function_symbol.h

class atermpp::global_function_symbol

Public member functions

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.