mcrl2::process::rename

Include file:

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

The rename operator.

Public member functions

const process_expression &operand() const
rename &operator=(const rename&) noexcept = default
rename &operator=(rename&&) noexcept = default
rename()

Default constructor.

rename(const atermpp::aterm &term)

Constructor.

Parameters:

  • term A term

rename(const rename_expression_list &rename_set, const process_expression &operand)

Constructor.

rename(const rename&) noexcept = default

Move semantics.

rename(rename&&) noexcept = default
const rename_expression_list &rename_set() const