atermpp::detail::_aterm Class Reference

This is the class to which an aterm points. More...

#include <aterm_core.h>

Inheritance diagram for atermpp::detail::_aterm:

Public Member Functions
	_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 ()=default
	noncopyable (noncopyable &&)=default
noncopyable &	operator= (noncopyable &&)=default
	noncopyable (const noncopyable &)=delete
noncopyable &	operator= (const noncopyable &)=delete

Private Attributes
function_symbol	m_function_symbol

Detailed Description

This is the class to which an aterm points.

Definition at line 47 of file aterm_core.h.

Constructor & Destructor Documentation

_aterm()

atermpp::detail::_aterm::_aterm ( const function_symbol &  symbol )

inline

Create a term from a function symbol.

Definition at line 51 of file aterm_core.h.

Member Function Documentation

function()

const function_symbol & atermpp::detail::_aterm::function ( ) const

inlinenoexcept

Definition at line 55 of file aterm_core.h.

is_marked()

bool atermpp::detail::_aterm::is_marked ( ) const

inline

Check if the term is already marked.

Definition at line 73 of file aterm_core.h.

mark()

void atermpp::detail::_aterm::mark ( ) const

inline

Mark this term to be garbage collected.

Definition at line 61 of file aterm_core.h.

unmark()

void atermpp::detail::_aterm::unmark ( ) const

inline

Remove the mark from a term.

Definition at line 67 of file aterm_core.h.

Member Data Documentation

m_function_symbol

function_symbol atermpp::detail::_aterm::m_function_symbol

private

Definition at line 79 of file aterm_core.h.

---

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

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