mcrl2::process::sum

Include file:

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

The sum operator.

Public member functions

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

Default constructor.

sum(const atermpp::aterm &term)

Constructor.

Parameters:

  • term A term
sum(const data::variable_list &variables, const process_expression &operand)

Constructor.

sum(const sum&) noexcept = default

Move semantics.

sum(sum&&) noexcept = default
const data::variable_list &variables() const