atermpp::detail::_function_symbol Class Reference

Stores the data for a function symbol (name, arity) pair. More...

#include <function_symbol.h>

Inheritance diagram for atermpp::detail::_function_symbol:

Public Types
using	ref = mcrl2::utilities::shared_reference< const _function_symbol >
	A shared reference for this object.

Public Member Functions
	_function_symbol (const std::string &name, std::size_t arity)
const std::string &	name () const noexcept
std::size_t	arity () const noexcept
bool	operator== (const _function_symbol &f) const noexcept
Public Member Functions inherited from mcrl2::utilities::shared_reference_counted< _function_symbol, mcrl2::utilities::detail::GlobalThreadSafe >
	shared_reference_counted ()
std::size_t	reference_count () const
	Obtain the reference count.
void	increment_reference_count () const
	Increment the reference count by one.
void	decrement_reference_count () const
	Decrement the reference count by one.

Private Attributes
const std::size_t	m_arity
const std::string	m_name

Additional Inherited Members
Static Public Member Functions inherited from mcrl2::utilities::shared_reference_counted< _function_symbol, mcrl2::utilities::detail::GlobalThreadSafe >
static std::atomic< std::size_t > &	reference_count_changes ()
	Obtain the number of times that this reference count has changed.
static void	count_reference_count_changes ()
	Increment the number of reference count changes.
Protected Types inherited from mcrl2::utilities::shared_reference_counted< _function_symbol, mcrl2::utilities::detail::GlobalThreadSafe >
using	SizeType = typename std::conditional< ThreadSafe, std::atomic< std::size_t >, std::size_t >::type
Protected Attributes inherited from mcrl2::utilities::shared_reference_counted< _function_symbol, mcrl2::utilities::detail::GlobalThreadSafe >
SizeType	m_reference_count
Private Member Functions inherited from mcrl2::utilities::noncopyable
	noncopyable ()=default
	noncopyable (const noncopyable &)=delete
noncopyable &	operator= (const noncopyable &)=delete

Detailed Description

Stores the data for a function symbol (name, arity) pair.

Definition at line 29 of file function_symbol.h.

Member Typedef Documentation

ref

using atermpp::detail::_function_symbol::ref = mcrl2::utilities::shared_reference<const _function_symbol>

A shared reference for this object.

Definition at line 33 of file function_symbol.h.

Constructor & Destructor Documentation

_function_symbol()

atermpp::detail::_function_symbol::_function_symbol ( const std::string &  name, std::size_t  arity  )

inline

Definition at line 35 of file function_symbol.h.

Member Function Documentation

arity()

std::size_t atermpp::detail::_function_symbol::arity ( ) const

inlinenoexcept

Definition at line 45 of file function_symbol.h.

name()

const std::string & atermpp::detail::_function_symbol::name ( ) const

inlinenoexcept

Definition at line 40 of file function_symbol.h.

operator==()

bool atermpp::detail::_function_symbol::operator== ( const _function_symbol &  f ) const

inlinenoexcept

Definition at line 50 of file function_symbol.h.

Member Data Documentation

m_arity

const std::size_t atermpp::detail::_function_symbol::m_arity

private

Definition at line 56 of file function_symbol.h.

m_name

const std::string atermpp::detail::_function_symbol::m_name

private

Definition at line 57 of file function_symbol.h.

---

The documentation for this class was generated from the following file:

• atermpp/include/mcrl2/atermpp/detail/function_symbol.h