mcrl2::process::comm

Include file:

#include "mcrl2/process/process_expression.h

class mcrl2::process::comm

brief The communication operator

Public member functions

comm()

brief Default constructor.

comm(comm&&) noexcept = default

comm(const atermpp::aterm &term)

brief Constructor. param term A term

comm(const comm&) noexcept = default

Move semantics.

comm(const communication_expression_list &comm_set, const process_expression &operand)

brief Constructor.

const communication_expression_list &comm_set() const

const process_expression &operand() const

comm &operator=(comm&&) noexcept = default

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