Inheritance diagram for atermpp::global_function_symbol:

Public Member Functions
	global_function_symbol (const std::string &name, const std::size_t arity)
	Defines a function symbol from a name and arity combination.

Public Member Functions inherited from atermpp::function_symbol
	function_symbol ()=default

	function_symbol (const std::string &name, const std::size_t arity_)
	Defines a function symbol from a name and arity combination.

	function_symbol (std::string &&name, const std::size_t arity_)
	Defines a function symbol from a name and arity combination.

	function_symbol (const function_symbol &other) noexcept=default
	This class has non-trivial destructor so declare default copy and move operators.

function_symbol &	operator= (const function_symbol &other) noexcept=default

	function_symbol (function_symbol &&other) noexcept=default

function_symbol &	operator= (function_symbol &&other) noexcept=default

bool	defined () const

const std::string &	name () const
	Return the name of the function_symbol.

std::size_t	arity () const
	Return the arity (number of arguments) of the function symbol (function_symbol).

bool	operator== (const function_symbol &f) const
	Equality test.

bool	operator!= (const function_symbol &f) const
	Inequality test.

bool	operator< (const function_symbol &f) const
	Comparison operation.

bool	operator> (const function_symbol &f) const
	Comparison operation.

bool	operator<= (const function_symbol &f) const
	Comparison operation.

bool	operator>= (const function_symbol &f) const
	Comparison operation.

void	swap (function_symbol &f)
	Swap this function with its argument.

Detailed Description

Definition at line 147 of file function_symbol.h.

Constructor & Destructor Documentation

global_function_symbol::global_function_symbol	(	const std::string &	name,
		const std::size_t	arity
	)

Defines a function symbol from a name and arity combination.

This constructor should be used by global function symbols.

Definition at line 27 of file function_symbol.cpp.

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