atermpp::aterm_int Class Reference

An integer term stores a single std::size_t value. It carries no arguments. More...

#include <aterm_int.h>

Inheritance diagram for atermpp::aterm_int:

Public Member Functions
	aterm_int () noexcept
	Default constructor.
	aterm_int (std::size_t value)
	Constructs an integer term from a value.
	aterm_int (const aterm &t)
	Constructs an integer term from an aterm.
	aterm_int (const aterm_int &other) noexcept=default
	This class has user-declared copy constructor so declare default copy and move operators.
aterm_int &	operator= (const aterm_int &other) noexcept=default
	aterm_int (aterm_int &&other) noexcept=default
aterm_int &	operator= (aterm_int &&other) noexcept=default
std::size_t	value () const noexcept
	Provide the value stored in an aterm.
void	swap (aterm_int &t) noexcept
	Swaps two integer terms without changing the protection.
Public Member Functions inherited from atermpp::aterm
	aterm () noexcept
	Default constructor.
	~aterm () noexcept
	Standard destructor.
	aterm (const detail::_aterm *t) noexcept
	Constructor based on an internal term data structure. This is not for public use.
	aterm (const aterm &other) noexcept
	Copy constructor.
	aterm (aterm &&other) noexcept
	Move constructor.
aterm &	operator= (const aterm &other) noexcept
	Assignment operator.
aterm &	assign (const aterm &other, detail::thread_aterm_pool &pool) noexcept
	Assignment operator, to be used if busy and forbidden flags are explicitly available.
template<bool CHECK_BUSY_FLAG = true>
aterm &	unprotected_assign (const aterm &other) noexcept
	Assignment operator, to be used when the busy flags do not need to be set.
aterm &	operator= (aterm &&other) noexcept
	Move assignment operator.
Public Member Functions inherited from atermpp::unprotected_aterm
	unprotected_aterm () noexcept
	Default constuctor.
	unprotected_aterm (const detail::_aterm *term) noexcept
	Constructor.
bool	type_is_appl () const noexcept
	Dynamic check whether the term is an aterm_appl.
bool	type_is_int () const noexcept
	Dynamic check whether the term is an aterm_int.
bool	type_is_list () const noexcept
	Dynamic check whether the term is an aterm_list.
bool	operator== (const unprotected_aterm &t) const
	Comparison operator.
bool	operator!= (const unprotected_aterm &t) const
	Inequality operator on two unprotected aterms.
bool	operator< (const unprotected_aterm &t) const
	Comparison operator for two unprotected aterms.
bool	operator> (const unprotected_aterm &t) const
	Comparison operator for two unprotected aterms.
bool	operator<= (const unprotected_aterm &t) const
	Comparison operator for two unprotected aterms.
bool	operator>= (const unprotected_aterm &t) const
	Comparison operator for two unprotected aterms.
bool	defined () const
	Returns true if this term is not equal to the term assigned by the default constructor of aterms, term_appl<T>'s and aterm_int.
void	swap (unprotected_aterm &t) noexcept
	Swaps this term with its argument.
const function_symbol &	function () const
	Yields the function symbol in an aterm.

Additional Inherited Members
Protected Attributes inherited from atermpp::unprotected_aterm
const detail::_aterm *	m_term

Detailed Description

An integer term stores a single std::size_t value. It carries no arguments.

A special function symbol is used to identify integer terms internally.

Definition at line 24 of file aterm_int.h.

Constructor & Destructor Documentation

aterm_int() [1/5]

atermpp::aterm_int::aterm_int ( )

inlinenoexcept

Default constructor.

Definition at line 28 of file aterm_int.h.

aterm_int() [2/5]

atermpp::aterm_int::aterm_int ( std::size_t  value )

inlineexplicit

Constructs an integer term from a value.

Parameters

value

The value of the new integer.

Definition at line 33 of file aterm_int.h.

aterm_int() [3/5]

atermpp::aterm_int::aterm_int ( const aterm &  t )

inlineexplicit

Constructs an integer term from an aterm.

Definition at line 39 of file aterm_int.h.

aterm_int() [4/5]

atermpp::aterm_int::aterm_int ( const aterm_int &  other )

defaultnoexcept

This class has user-declared copy constructor so declare default copy and move operators.

aterm_int() [5/5]

atermpp::aterm_int::aterm_int ( aterm_int &&  other )

defaultnoexcept

Member Function Documentation

operator=() [1/2]

aterm_int & atermpp::aterm_int::operator= ( aterm_int &&  other )

defaultnoexcept

operator=() [2/2]

aterm_int & atermpp::aterm_int::operator= ( const aterm_int &  other )

defaultnoexcept

swap()

void atermpp::aterm_int::swap ( aterm_int &  t )

inlinenoexcept

Swaps two integer terms without changing the protection.

Parameters

t	The term that is swapped with the current term.

Definition at line 60 of file aterm_int.h.

value()

std::size_t atermpp::aterm_int::value ( ) const

inlinenoexcept

Provide the value stored in an aterm.

Returns

The value of the integer term.

Definition at line 53 of file aterm_int.h.

---

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

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