\brief An action More...

#include <process_expression.h>

Inheritance diagram for mcrl2::process::action:

Public Member Functions
	action ()
	\brief Default constructor.

	action (const atermpp::aterm &term)

	action (const action_label &label, const data::data_expression_list &arguments)
	\brief Constructor.

	action (const action &) noexcept=default
	Move semantics.

	action (action &&) noexcept=default

action &	operator= (const action &) noexcept=default

action &	operator= (action &&) noexcept=default

const action_label &	label () const

const data::data_expression_list &	arguments () const

Public Member Functions inherited from mcrl2::process::process_expression
	process_expression ()
	\brief Default constructor.

	process_expression (const atermpp::aterm &term)

	process_expression (const data::untyped_data_parameter &x)
	\brief Constructor.

	process_expression (const process_expression &) noexcept=default
	Move semantics.

	process_expression (process_expression &&) noexcept=default

process_expression &	operator= (const process_expression &) noexcept=default

process_expression &	operator= (process_expression &&) noexcept=default

Public Member Functions inherited from atermpp::term_appl< aterm >
	term_appl ()
	Default constructor.

	term_appl (const aterm &t)
	Explicit constructor from an aterm.

	term_appl (const term_appl &other) noexcept=default
	This class has user-declared copy constructor so declare default copy and move operators.

	term_appl (term_appl &&other) noexcept=default

	term_appl (const function_symbol &sym, ForwardIterator begin, ForwardIterator end)
	Constructor that provides an aterm_appl based on a function symbol and forward iterator providing the arguments.

	term_appl (const function_symbol &sym, InputIterator begin, InputIterator end)
	Constructor that provides an aterm_appl based on a function symbol and an input iterator providing the arguments.

	term_appl (const function_symbol &sym, InputIterator begin, InputIterator end, TermConverter converter)

	term_appl (const function_symbol &sym)
	Constructor.

	term_appl (const function_symbol &symbol, const Terms &...arguments)
	Constructor for n-arity function application.

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

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

const function_symbol &	function () const
	Returns the function symbol belonging to an aterm_appl.

size_type	size () const
	Returns the number of arguments of this term.

bool	empty () const
	Returns true if the term has no arguments.

const_iterator	begin () const
	Returns an iterator pointing to the first argument.

const_iterator	end () const
	Returns a const_iterator pointing past the last argument.

constexpr size_type	max_size () const
	Returns the largest possible number of arguments.

const aterm &	operator[] (const size_type i) const
	Returns the i-th argument.

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
Public Types inherited from atermpp::term_appl< aterm >
typedef aterm	value_type
	The type of object, T stored in the term_appl.

typedef aterm *	pointer
	Pointer to T.

typedef aterm &	reference
	Reference to T.

typedef const aterm	const_reference
	Const reference to T.

typedef std::size_t	size_type
	An unsigned integral type.

typedef ptrdiff_t	difference_type
	A signed integral type.

typedef term_appl_iterator< aterm >	iterator
	Iterator used to iterate through an term_appl.

typedef term_appl_iterator< aterm >	const_iterator
	Const iterator used to iterate through an term_appl.

Protected Member Functions inherited from atermpp::term_appl< aterm >
	term_appl (detail::_term_appl *t)
	Constructor.

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

Detailed Description

\brief An action

Definition at line 140 of file process_expression.h.

Constructor & Destructor Documentation

◆ action() [1/5]

mcrl2::process::action::action ( )

inline

\brief Default constructor.

Definition at line 144 of file process_expression.h.

◆ action() [2/5]

mcrl2::process::action::action ( const atermpp::aterm & term )

inlineexplicit

\brief Constructor. \param term A term

Definition at line 150 of file process_expression.h.

◆ action() [3/5]

mcrl2::process::action::action	(	const action_label &	label,
		const data::data_expression_list &	arguments
	)

inline

\brief Constructor.

Definition at line 157 of file process_expression.h.

◆ action() [4/5]

mcrl2::process::action::action ( const action & )

defaultnoexcept

Move semantics.

◆ action() [5/5]

mcrl2::process::action::action ( action && )

defaultnoexcept

Member Function Documentation

◆ arguments()

const data::data_expression_list & mcrl2::process::action::arguments ( ) const

inline

Definition at line 172 of file process_expression.h.

◆ label()

const action_label & mcrl2::process::action::label ( ) const

inline

Definition at line 167 of file process_expression.h.

◆ operator=() [1/2]

action & mcrl2::process::action::operator= ( action && )

defaultnoexcept

◆ operator=() [2/2]

action & mcrl2::process::action::operator= ( const action & )

defaultnoexcept

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

process/include/mcrl2/process/process_expression.h

Public Member Functions

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ action() [1/5]

◆ action() [2/5]

◆ action() [3/5]

◆ action() [4/5]

◆ action() [5/5]

Member Function Documentation

◆ arguments()

◆ label()

◆ operator=() [1/2]

◆ operator=() [2/2]