mCRL2
Loading...
Searching...
No Matches
atermpp::detail::_function_symbol Member List

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

_function_symbol(const std::string &name, std::size_t arity)atermpp::detail::_function_symbolinline
arity() const noexceptatermpp::detail::_function_symbolinline
count_reference_count_changes()mcrl2::utilities::shared_reference_counted< _function_symbol, mcrl2::utilities::detail::GlobalThreadSafe >inlinestatic
decrement_reference_count() constmcrl2::utilities::shared_reference_counted< _function_symbol, mcrl2::utilities::detail::GlobalThreadSafe >inline
increment_reference_count() constmcrl2::utilities::shared_reference_counted< _function_symbol, mcrl2::utilities::detail::GlobalThreadSafe >inline
m_arityatermpp::detail::_function_symbolprivate
m_nameatermpp::detail::_function_symbolprivate
m_reference_countmcrl2::utilities::shared_reference_counted< _function_symbol, mcrl2::utilities::detail::GlobalThreadSafe >mutableprotected
name() const noexceptatermpp::detail::_function_symbolinline
noncopyable()=defaultmcrl2::utilities::noncopyableprivate
noncopyable(const noncopyable &)=deletemcrl2::utilities::noncopyableprivate
operator=(const noncopyable &)=deletemcrl2::utilities::noncopyableprivate
operator==(const _function_symbol &f) const noexceptatermpp::detail::_function_symbolinline
ref typedefatermpp::detail::_function_symbol
reference_count() constmcrl2::utilities::shared_reference_counted< _function_symbol, mcrl2::utilities::detail::GlobalThreadSafe >inline
reference_count_changes()mcrl2::utilities::shared_reference_counted< _function_symbol, mcrl2::utilities::detail::GlobalThreadSafe >inlinestatic
shared_reference_counted()mcrl2::utilities::shared_reference_counted< _function_symbol, mcrl2::utilities::detail::GlobalThreadSafe >inline
SizeType typedefmcrl2::utilities::shared_reference_counted< _function_symbol, mcrl2::utilities::detail::GlobalThreadSafe >protected