|
| | action_label_lts () |
| | Default constructor.
|
| |
| | action_label_lts (const action_label_lts &)=default |
| | Copy constructor.
|
| |
| action_label_lts & | operator= (const action_label_lts &)=default |
| | Copy assignment.
|
| |
| | action_label_lts (const mcrl2::lps::multi_action &a) |
| | Constructor.
|
| |
| void | hide_actions (const std::vector< std::string > &tau_actions) |
| | Hide the actions with labels in tau_actions.
|
| |
| | multi_action (const multi_action &) noexcept=default |
| | Move semantics.
|
| |
| | multi_action (multi_action &&) noexcept=default |
| |
| multi_action & | operator= (const multi_action &) noexcept=default |
| |
| multi_action & | operator= (multi_action &&) noexcept=default |
| |
| const process::action_list & | actions () const |
| |
| const data::data_expression & | time () const |
| |
| | multi_action (const process::action_list &actions=process::action_list(), data::data_expression time=data::undefined_real()) |
| | Constructor.
|
| |
| | multi_action (const atermpp::aterm &term) |
| | Constructor.
|
| |
| | multi_action (const process::action &l) |
| | Constructor.
|
| |
| bool | has_time () const |
| | Returns true if time is available.
|
| |
| multi_action | operator+ (const multi_action &other) const |
| | Joins the actions of both multi actions.
|
| |
| multi_action | sort_actions () const |
| | Returns the multiaction in which the list of actions is sorted.
|
| |
| | 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.
|
| |
| | 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.
|
| |
| | 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.
|
| |
A class containing the values for action labels for the .lts format.
An action label is a multi_action.
Definition at line 136 of file lts_lts.h.
Public Member Functions inherited from mcrl2::lps::multi_action