mcrl2::process::process_expression

Include file:

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

A process expression.

Public member functions

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

Default constructor.

process_expression(const atermpp::aterm &term)

Constructor.

Parameters:

  • term A term
process_expression(const data::untyped_data_parameter &x)

Constructor.

process_expression(const process_expression&) noexcept = default

Move semantics.

process_expression(process_expression&&) noexcept = default