mcrl2::process::action_name_multiset =============================================================================== Include file: .. code-block:: c++ #include "mcrl2/process/action_name_multiset.h .. cpp:class:: mcrl2::process::action_name_multiset A multiset of action names. Public member functions ------------------------------------------------------------------------------- .. cpp:function:: action_name_multiset() Default constructor. .. cpp:function:: action_name_multiset(action_name_multiset &&) noexcept=default .. cpp:function:: action_name_multiset(const action_name_multiset &) noexcept=default Move semantics. .. cpp:function:: action_name_multiset(const atermpp::aterm &term) Constructor. **Parameters:** * **term** A term .. cpp:function:: action_name_multiset(const core::identifier_string_list &names) Constructor. .. cpp:function:: const core::identifier_string_list& names() const .. cpp:function:: action_name_multiset& operator=(action_name_multiset &&) noexcept=default .. cpp:function:: action_name_multiset& operator=(const action_name_multiset &) noexcept=default