mCRL2
Loading...
Searching...
No Matches
atermpp::detail::_aterm Class Reference

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

#include <aterm.h>

Inheritance diagram for atermpp::detail::_aterm:
mcrl2::utilities::noncopyable atermpp::detail::_aterm_appl< N > atermpp::detail::_aterm_int

Public Member Functions

 _aterm (const function_symbol &symbol)
 Create a term from a function symbol.
 
const function_symbolfunction () 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
 
noncopyableoperator= (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.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.h.

Member Function Documentation

◆ function()

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

Definition at line 55 of file aterm.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.h.

◆ mark()

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

Mark this term to be garbage collected.

Definition at line 61 of file aterm.h.

◆ unmark()

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

Remove the mark from a term.

Definition at line 67 of file aterm.h.

Member Data Documentation

◆ m_function_symbol

function_symbol atermpp::detail::_aterm::m_function_symbol
private

Definition at line 79 of file aterm.h.


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