Loading...
Searching...
No Matches
mcrl2::data::detail::match_tree_N Class Reference
#include <match_tree.h>
Inheritance diagram for mcrl2::data::detail::match_tree_N:
Public Member Functions | |
| match_tree_N ()=default | |
| match_tree_N (const atermpp::aterm &t) | |
| match_tree_N (const match_tree &result_tree, std::size_t) | |
| const match_tree & | subtree () 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. | |
Detailed Description
Definition at line 362 of file match_tree.h.
Constructor & Destructor Documentation
◆ match_tree_N() [1/3]
|
default |
◆ match_tree_N() [2/3]
|
inline |
Definition at line 367 of file match_tree.h.
◆ match_tree_N() [3/3]
|
inline |
Constructor. Builds a new term around a match_tree. The extra non-used std::size_t is provided, to distinghuish this constructor from the default copy constructor.
Definition at line 376 of file match_tree.h.
Member Function Documentation
◆ subtree()
|
inline |
Definition at line 380 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
