#include <match_tree.h>

Inheritance diagram for mcrl2::data::detail::match_tree_F:

Public Member Functions
	match_tree_F ()=default

	match_tree_F (const atermpp::aterm &t)

	match_tree_F (const data::function_symbol &function, const match_tree &true_tree, const match_tree &false_tree)

const data::function_symbol &	function () const

const match_tree &	true_tree () const

const match_tree &	false_tree () const

Public Member Functions inherited from mcrl2::data::detail::match_tree
	match_tree ()
	Default constructor.

	match_tree (const atermpp::aterm &t)
	Constructor based on an aterm.

bool	is_defined () const

bool	isS () const

bool	isA () const

bool	isM () const

bool	isF () const

bool	isMachineNumber () const

bool	isN () const

bool	isD () const

bool	isR () const

bool	isC () const

bool	isX () const

bool	isRe () const

bool	isCRe () const

bool	isMe () const

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

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

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

	aterm (aterm &&other) noexcept=default

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

template<class ForwardIterator > requires (mcrl2::utilities::is_iterator<ForwardIterator>::value && !std::is_same_v<typename ForwardIterator::iterator_category, std::input_iterator_tag> && !std::is_same_v<typename ForwardIterator::iterator_category, std::output_iterator_tag>)
	aterm (const function_symbol &sym, ForwardIterator begin, ForwardIterator end)
	Constructor that provides an aterm based on a function symbol and forward iterator providing the arguments.

template<class InputIterator > requires mcrl2::utilities::is_iterator<InputIterator>
	aterm (const function_symbol &sym, InputIterator begin, InputIterator end)
	Constructor that provides an aterm based on a function symbol and an input iterator providing the arguments.

template<class InputIterator , class TermConverter > requires mcrl2::utilities::is_iterator<InputIterator>
	aterm (const function_symbol &sym, InputIterator begin, InputIterator end, TermConverter converter)
	Constructor.

template<typename... Terms>
	aterm (const function_symbol &symbol, const Terms &... arguments)
	Constructor for n-arity function application.

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

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_core
	aterm_core () noexcept
	Default constructor.

	~aterm_core () noexcept
	Standard destructor.

	aterm_core (const detail::_aterm *t) noexcept
	Constructor based on an internal term data structure. This is not for public use.

	aterm_core (const aterm_core &other) noexcept
	Copy constructor.

	aterm_core (aterm_core &&other) noexcept
	Move constructor.

aterm_core &	operator= (const aterm_core &other) noexcept
	Assignment operator.

aterm_core &	assign (const aterm_core &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_core &	unprotected_assign (const aterm_core &other) noexcept
	Assignment operator, to be used when the busy flags do not need to be set.

aterm_core &	operator= (aterm_core &&other) noexcept
	Move assignment operator.

Public Member Functions inherited from atermpp::unprotected_aterm_core
	unprotected_aterm_core () noexcept
	Default constuctor.

	unprotected_aterm_core (const detail::_aterm *term) noexcept
	Constructor.

bool	type_is_appl () const noexcept
	Dynamic check whether the term is an aterm.

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_core &t) const
	Comparison operator.

std::weak_ordering	operator<=> (const unprotected_aterm_core &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, aterm_appls and aterm_int.

void	swap (unprotected_aterm_core &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::aterm
using	size_type = std::size_t
	An unsigned integral type.

using	difference_type = ptrdiff_t
	A signed integral type.

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

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

Protected Member Functions inherited from mcrl2::data::detail::match_tree
atermpp::function_symbol	afunUndefined () const

atermpp::function_symbol	afunS () const

atermpp::function_symbol	afunA () const

atermpp::function_symbol	afunM () const

atermpp::function_symbol	afunF () const

atermpp::function_symbol	afunMachineNumber () const

atermpp::function_symbol	afunN () const

atermpp::function_symbol	afunD () const

atermpp::function_symbol	afunR () const

atermpp::function_symbol	afunC () const

atermpp::function_symbol	afunX () const

atermpp::function_symbol	afunRe () const

atermpp::function_symbol	afunCRe () const

atermpp::function_symbol	afunMe () const

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

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

Detailed Description

Definition at line 297 of file match_tree.h.

Constructor & Destructor Documentation

◆ match_tree_F() [1/3]

mcrl2::data::detail::match_tree_F::match_tree_F ( )

default

◆ match_tree_F() [2/3]

mcrl2::data::detail::match_tree_F::match_tree_F ( const atermpp::aterm & t )

inline

Definition at line 302 of file match_tree.h.

◆ match_tree_F() [3/3]

mcrl2::data::detail::match_tree_F::match_tree_F	(	const data::function_symbol &	function,
		const match_tree &	true_tree,
		const match_tree &	false_tree
	)

inline

Definition at line 308 of file match_tree.h.

Member Function Documentation

◆ false_tree()

const match_tree & mcrl2::data::detail::match_tree_F::false_tree ( ) const

inline

Definition at line 322 of file match_tree.h.

◆ function()

const data::function_symbol & mcrl2::data::detail::match_tree_F::function ( ) const

inline

Definition at line 312 of file match_tree.h.

◆ true_tree()

const match_tree & mcrl2::data::detail::match_tree_F::true_tree ( ) const

inline

Definition at line 317 of file match_tree.h.

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

data/include/mcrl2/data/detail/rewrite/match_tree.h

Public Member Functions

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ match_tree_F() [1/3]

◆ match_tree_F() [2/3]

◆ match_tree_F() [3/3]

Member Function Documentation

◆ false_tree()

◆ function()

◆ true_tree()