mcrl2::process::action

Include file:

#include "mcrl2/process/process_expression.h

class mcrl2::process::action

brief An action

Public member functions

action()

brief Default constructor.

action(action&&) noexcept = default

action(const action&) noexcept = default

Move semantics.

action(const action_label &label, const data::data_expression_list &arguments)

brief Constructor.

action(const atermpp::aterm &term)

brief Constructor. param term A term

const data::data_expression_list &arguments() const

const action_label &label() const

action &operator=(action&&) noexcept = default

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