mcrl2::process::process_equation

Include file:

#include "mcrl2/process/process_equation.h

class mcrl2::process::process_equation

brief 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()

brief Default constructor.

process_equation(const atermpp::aterm &term)

brief Constructor. param term A term

process_equation(const process_equation&) noexcept = default

Move semantics.

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

brief Constructor.

process_equation(process_equation&&) noexcept = default