atermpp::detail::_aterm_int Class Reference

The underlying integer term that actually carries the integer data. More...

#include <aterm_int.h>

Inheritance diagram for atermpp::detail::_aterm_int:

Public Member Functions
	_aterm_int (std::size_t value)
	Constructs the underlying term from a given value.
std::size_t	value () const noexcept
Public Member Functions inherited from atermpp::detail::_aterm
	_aterm (const function_symbol &symbol)
	Create a term from a function symbol.
const function_symbol &	function () const noexcept
void	mark () const
	Mark this term to be garbage collected.
void	unmark () const
	Remove the mark from a term.
bool	is_marked () const
	Check if the term is already marked.
Public Member Functions inherited from mcrl2::utilities::noncopyable
	noncopyable ()=default
	noncopyable (const noncopyable &)=delete
noncopyable &	operator= (const noncopyable &)=delete

Private Attributes
std::size_t	m_value

Detailed Description

The underlying integer term that actually carries the integer data.

Definition at line 21 of file aterm_int.h.

Constructor & Destructor Documentation

_aterm_int()

atermpp::detail::_aterm_int::_aterm_int ( std::size_t  value )

inline

Constructs the underlying term from a given value.

Definition at line 25 of file aterm_int.h.

Member Function Documentation

value()

std::size_t atermpp::detail::_aterm_int::value ( ) const

inlinenoexcept

Definition at line 30 of file aterm_int.h.

Member Data Documentation

m_value

std::size_t atermpp::detail::_aterm_int::m_value

private

Definition at line 36 of file aterm_int.h.

---

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

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