mcrl2::process::action_name_multiset =============================================================================== Include file: .. code-block:: c++ #include "mcrl2/process/action_name_multiset.h .. cpp:class:: mcrl2::process::action_name_multiset \brief A multiset of action names Public member functions ------------------------------------------------------------------------------- .. cpp:function:: action_name_multiset() \brief 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) \brief Constructor. \param term A term .. cpp:function:: action_name_multiset(const core::identifier_string_list &names) \brief 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