mcrl2::process::rename_expression

Include file:

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

A rename expression.

Public member functions

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

Default constructor.

rename_expression(const atermpp::aterm &term)

Constructor.

Parameters:

  • term A term

rename_expression(core::identifier_string &source, core::identifier_string &target)

Constructor.

rename_expression(const std::string &source, const std::string &target)

Constructor.

rename_expression(const rename_expression&) noexcept = default

Move semantics.

rename_expression(rename_expression&&) noexcept = default
const core::identifier_string &source() const
const core::identifier_string &target() const