mcrl2::process::untyped_multi_action

Include file:

#include "mcrl2/process/untyped_multi_action.h
class mcrl2::process::untyped_multi_action

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()

Default constructor.

untyped_multi_action(const atermpp::aterm &term)

Constructor.

Parameters:

  • term A term
untyped_multi_action(const data::untyped_data_parameter_list &actions)

Constructor.

untyped_multi_action(const untyped_multi_action&) noexcept = default

Move semantics.

untyped_multi_action(untyped_multi_action&&) noexcept = default