mCRL2
Loading...
Searching...
No Matches
mcrl2::data::detail::match_tree Class Reference

#include <match_tree.h>

Inheritance diagram for mcrl2::data::detail::match_tree:
atermpp::aterm atermpp::aterm_core atermpp::unprotected_aterm_core mcrl2::data::detail::match_tree_A mcrl2::data::detail::match_tree_C mcrl2::data::detail::match_tree_CRe mcrl2::data::detail::match_tree_D mcrl2::data::detail::match_tree_F mcrl2::data::detail::match_tree_M mcrl2::data::detail::match_tree_MachineNumber mcrl2::data::detail::match_tree_Me mcrl2::data::detail::match_tree_N mcrl2::data::detail::match_tree_R mcrl2::data::detail::match_tree_Re mcrl2::data::detail::match_tree_S mcrl2::data::detail::match_tree_X

Public Member Functions

 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.
 
atermoperator= (const aterm &other) noexcept=default
 
 aterm (aterm &&other) noexcept=default
 
atermoperator= (aterm &&other) noexcept=default
 
template<class ForwardIterator , typename std::enable_if< mcrl2::utilities::is_iterator< ForwardIterator >::value >::type * = nullptr, typename std::enable_if<!std::is_same< typename ForwardIterator::iterator_category, std::input_iterator_tag >::value >::type * = nullptr, typename std::enable_if<!std::is_same< typename ForwardIterator::iterator_category, std::output_iterator_tag >::value >::type * = nullptr>
 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 , typename std::enable_if< mcrl2::utilities::is_iterator< InputIterator >::value >::type * = nullptr, typename std::enable_if< std::is_same< typename InputIterator::iterator_category, std::input_iterator_tag >::value >::type * = nullptr>
 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 , typename std::enable_if< mcrl2::utilities::is_iterator< InputIterator >::value >::type * = nullptr>
 aterm (const function_symbol &sym, InputIterator begin, InputIterator end, TermConverter converter)
 
 aterm (const function_symbol &sym)
 Constructor.
 
template<typename ... Terms>
 aterm (const function_symbol &symbol, const Terms &...arguments)
 Constructor for n-arity function application.
 
const function_symbolfunction () 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 atermoperator[] (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_coreoperator= (const aterm_core &other) noexcept
 Assignment operator.
 
aterm_coreassign (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_coreunprotected_assign (const aterm_core &other) noexcept
 Assignment operator, to be used when the busy flags do not need to be set.
 
aterm_coreoperator= (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.
 
bool operator!= (const unprotected_aterm_core &t) const
 Inequality operator on two unprotected aterms.
 
bool operator< (const unprotected_aterm_core &t) const
 Comparison operator for two unprotected aterms.
 
bool operator> (const unprotected_aterm_core &t) const
 Comparison operator for two unprotected aterms.
 
bool operator<= (const unprotected_aterm_core &t) const
 Comparison operator for two unprotected aterms.
 
bool 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_symbolfunction () const
 Yields the function symbol in an aterm.
 

Protected Member Functions

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.
 

Additional Inherited Members

- Public Types inherited from atermpp::aterm
typedef std::size_t size_type
 An unsigned integral type.
 
typedef ptrdiff_t difference_type
 A signed integral type.
 
typedef term_appl_iterator< atermiterator
 Iterator used to iterate through an term_appl.
 
typedef term_appl_iterator< atermconst_iterator
 Const iterator used to iterate through an term_appl.
 
- Protected Attributes inherited from atermpp::unprotected_aterm_core
const detail::_atermm_term
 

Detailed Description

Definition at line 43 of file match_tree.h.

Constructor & Destructor Documentation

◆ match_tree() [1/2]

mcrl2::data::detail::match_tree::match_tree ( )
inline

Default constructor.

Definition at line 47 of file match_tree.h.

◆ match_tree() [2/2]

mcrl2::data::detail::match_tree::match_tree ( const atermpp::aterm t)
inline

Constructor based on an aterm.

Definition at line 52 of file match_tree.h.

Member Function Documentation

◆ afunA()

atermpp::function_symbol mcrl2::data::detail::match_tree::afunA ( ) const
inlineprotected

Definition at line 73 of file match_tree.h.

◆ afunC()

atermpp::function_symbol mcrl2::data::detail::match_tree::afunC ( ) const
inlineprotected

Definition at line 116 of file match_tree.h.

◆ afunCRe()

atermpp::function_symbol mcrl2::data::detail::match_tree::afunCRe ( ) const
inlineprotected

Definition at line 134 of file match_tree.h.

◆ afunD()

atermpp::function_symbol mcrl2::data::detail::match_tree::afunD ( ) const
inlineprotected

Definition at line 104 of file match_tree.h.

◆ afunF()

atermpp::function_symbol mcrl2::data::detail::match_tree::afunF ( ) const
inlineprotected

Definition at line 86 of file match_tree.h.

◆ afunM()

atermpp::function_symbol mcrl2::data::detail::match_tree::afunM ( ) const
inlineprotected

Definition at line 80 of file match_tree.h.

◆ afunMachineNumber()

atermpp::function_symbol mcrl2::data::detail::match_tree::afunMachineNumber ( ) const
inlineprotected

Definition at line 92 of file match_tree.h.

◆ afunMe()

atermpp::function_symbol mcrl2::data::detail::match_tree::afunMe ( ) const
inlineprotected

Definition at line 140 of file match_tree.h.

◆ afunN()

atermpp::function_symbol mcrl2::data::detail::match_tree::afunN ( ) const
inlineprotected

Definition at line 98 of file match_tree.h.

◆ afunR()

atermpp::function_symbol mcrl2::data::detail::match_tree::afunR ( ) const
inlineprotected

Definition at line 110 of file match_tree.h.

◆ afunRe()

atermpp::function_symbol mcrl2::data::detail::match_tree::afunRe ( ) const
inlineprotected

Definition at line 128 of file match_tree.h.

◆ afunS()

atermpp::function_symbol mcrl2::data::detail::match_tree::afunS ( ) const
inlineprotected

Definition at line 67 of file match_tree.h.

◆ afunUndefined()

atermpp::function_symbol mcrl2::data::detail::match_tree::afunUndefined ( ) const
inlineprotected

Definition at line 61 of file match_tree.h.

◆ afunX()

atermpp::function_symbol mcrl2::data::detail::match_tree::afunX ( ) const
inlineprotected

Definition at line 122 of file match_tree.h.

◆ is_defined()

bool mcrl2::data::detail::match_tree::is_defined ( ) const
inline

Definition at line 147 of file match_tree.h.

◆ isA()

bool mcrl2::data::detail::match_tree::isA ( ) const
inline

Definition at line 157 of file match_tree.h.

◆ isC()

bool mcrl2::data::detail::match_tree::isC ( ) const
inline

Definition at line 192 of file match_tree.h.

◆ isCRe()

bool mcrl2::data::detail::match_tree::isCRe ( ) const
inline

Definition at line 207 of file match_tree.h.

◆ isD()

bool mcrl2::data::detail::match_tree::isD ( ) const
inline

Definition at line 182 of file match_tree.h.

◆ isF()

bool mcrl2::data::detail::match_tree::isF ( ) const
inline

Definition at line 167 of file match_tree.h.

◆ isM()

bool mcrl2::data::detail::match_tree::isM ( ) const
inline

Definition at line 162 of file match_tree.h.

◆ isMachineNumber()

bool mcrl2::data::detail::match_tree::isMachineNumber ( ) const
inline

Definition at line 172 of file match_tree.h.

◆ isMe()

bool mcrl2::data::detail::match_tree::isMe ( ) const
inline

Definition at line 212 of file match_tree.h.

◆ isN()

bool mcrl2::data::detail::match_tree::isN ( ) const
inline

Definition at line 177 of file match_tree.h.

◆ isR()

bool mcrl2::data::detail::match_tree::isR ( ) const
inline

Definition at line 187 of file match_tree.h.

◆ isRe()

bool mcrl2::data::detail::match_tree::isRe ( ) const
inline

Definition at line 202 of file match_tree.h.

◆ isS()

bool mcrl2::data::detail::match_tree::isS ( ) const
inline

Definition at line 152 of file match_tree.h.

◆ isX()

bool mcrl2::data::detail::match_tree::isX ( ) const
inline

Definition at line 197 of file match_tree.h.


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