mcrl2::process::action

Include file:

#include "mcrl2/process/process_expression.h
class mcrl2::process::action

An action.

Public member functions

action()

Default constructor.

action(const atermpp::aterm &term)

Constructor.

Parameters:

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

Constructor.

action(const action&) noexcept = default

Move semantics.

action(action&&) noexcept = default
const data::data_expression_list &arguments() const
const action_label &label() const
action &operator=(const action&) noexcept = default
action &operator=(action&&) noexcept = default