Loading...
Searching...
No Matches
mcrl2::process::process_instance_assignment Class Reference
\brief A process assignment More...
#include <process_expression.h>
Inheritance diagram for mcrl2::process::process_instance_assignment:
Public Member Functions | |
| process_instance_assignment () | |
| \brief Default constructor X3. | |
| process_instance_assignment (const atermpp::aterm &term) | |
| process_instance_assignment (const process_identifier &identifier, const data::assignment_list &assignments) | |
| \brief Constructor Z14. | |
| process_instance_assignment (const process_instance_assignment &) noexcept=default | |
| Move semantics. | |
| process_instance_assignment (process_instance_assignment &&) noexcept=default | |
| process_instance_assignment & | operator= (const process_instance_assignment &) noexcept=default |
| process_instance_assignment & | operator= (process_instance_assignment &&) noexcept=default |
| const process_identifier & | identifier () const |
| const data::assignment_list & | assignments () const |
 Public Member Functions inherited from mcrl2::process::process_expression | |
| process_expression () | |
| \brief Default constructor X3. | |
| process_expression (const atermpp::aterm &term) | |
| process_expression (const data::untyped_data_parameter &x) | |
| \brief Constructor Z6. | |
| 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::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 atermpp::aterm | |
| aterm (detail::_term_appl *t) | |
| Constructor. | |
| Protected Attributes inherited from atermpp::unprotected_aterm_core | |
| const detail::_aterm * | m_term |
Detailed Description
\brief A process assignment
Definition at line 296 of file process_expression.h.
Constructor & Destructor Documentation
◆ process_instance_assignment() [1/5]
|
inline |
\brief Default constructor X3.
Definition at line 300 of file process_expression.h.
◆ process_instance_assignment() [2/5]
|
inlineexplicit |
\brief Constructor Z9. \param term A term
Definition at line 306 of file process_expression.h.
◆ process_instance_assignment() [3/5]
|
inline |
\brief Constructor Z14.
Definition at line 313 of file process_expression.h.
◆ process_instance_assignment() [4/5]
|
defaultnoexcept |
Move semantics.
◆ process_instance_assignment() [5/5]
|
defaultnoexcept |
Member Function Documentation
◆ assignments()
|
inline |
Definition at line 328 of file process_expression.h.
◆ identifier()
|
inline |
Definition at line 323 of file process_expression.h.
◆ operator=() [1/2]
|
defaultnoexcept |
◆ operator=() [2/2]
|
defaultnoexcept |
The documentation for this class was generated from the following file:
- process/include/mcrl2/process/process_expression.h
