mCRL2
Loading...
Searching...
No Matches
atermpp::global_function_symbol Member List

This is the complete list of members for atermpp::global_function_symbol, including all inherited members.

arity() constatermpp::function_symbolinline
defined() constatermpp::function_symbolinline
destroy()atermpp::function_symbolprivate
function_symbol()=defaultatermpp::function_symbol
function_symbol(const std::string &name, const std::size_t arity_)atermpp::function_symbolinline
function_symbol(std::string &&name, const std::size_t arity_)atermpp::function_symbolinline
function_symbol(const function_symbol &other) noexcept=defaultatermpp::function_symbol
function_symbol(function_symbol &&other) noexcept=defaultatermpp::function_symbol
function_symbol(detail::_function_symbol::ref &&f)atermpp::function_symbolinlineprivate
function_symbol(const std::string &name, const std::size_t arity, const bool check_for_registered_functions)atermpp::function_symbolprivate
function_symbol(std::string &&name, const std::size_t arity, const bool check_for_registered_functions)atermpp::function_symbolprivate
global_function_symbol(const std::string &name, const std::size_t arity)atermpp::global_function_symbol
m_function_symbolatermpp::function_symbolprivate
name() constatermpp::function_symbolinline
operator!=(const function_symbol &f) constatermpp::function_symbolinline
operator<(const function_symbol &f) constatermpp::function_symbolinline
operator<=(const function_symbol &f) constatermpp::function_symbolinline
operator=(const function_symbol &other) noexcept=defaultatermpp::function_symbol
operator=(function_symbol &&other) noexcept=defaultatermpp::function_symbol
operator==(const function_symbol &f) constatermpp::function_symbolinline
operator>(const function_symbol &f) constatermpp::function_symbolinline
operator>=(const function_symbol &f) constatermpp::function_symbolinline
swap(function_symbol &f)atermpp::function_symbolinline