mcrl2::process::sum¶

Include file:

#include "mcrl2/process/process_expression.h

class mcrl2::process::sum¶: brief The sum operator

Public member functions¶

const process_expression &operand() const

sum &operator=(const sum&) noexcept = default¶

sum &operator=(sum&&) noexcept = default¶

sum()¶: brief Default constructor.

sum(const atermpp::aterm &term)¶: brief Constructor. param term A term

sum(const data::variable_list &variables, const process_expression &operand)¶: brief Constructor.

sum(const sum&) noexcept = default¶: Move semantics.

sum(sum&&) noexcept = default¶

const data::variable_list &variables() const