mcrl2::process::untyped_multi_action

Include file:

#include "mcrl2/process/untyped_multi_action.h

class mcrl2::process::untyped_multi_action

brief An untyped multi action or data application

Public member functions

const data::untyped_data_parameter_list &actions() const

untyped_multi_action &operator=(const untyped_multi_action&) noexcept = default

untyped_multi_action &operator=(untyped_multi_action&&) noexcept = default

untyped_multi_action()

brief Default constructor.

untyped_multi_action(const atermpp::aterm &term)

brief Constructor. param term A term

untyped_multi_action(const data::untyped_data_parameter_list &actions)

brief Constructor.

untyped_multi_action(const untyped_multi_action&) noexcept = default

Move semantics.

untyped_multi_action(untyped_multi_action&&) noexcept = default