mcrl2::process::process_equation

Include file:

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

A process equation.

Public member functions

const process_expression &expression() const
const data::variable_list &formal_parameters() const
const process_identifier &identifier() const
process_equation &operator=(const process_equation&) noexcept = default
process_equation &operator=(process_equation&&) noexcept = default
process_equation()

Default constructor.

process_equation(const atermpp::aterm &term)

Constructor.

Parameters:

  • term A term
process_equation(const process_identifier &identifier, const data::variable_list &formal_parameters, const process_expression &expression)

Constructor.

process_equation(const process_equation&) noexcept = default

Move semantics.

process_equation(process_equation&&) noexcept = default