mcrl2::process::merge¶

Include file:

#include "mcrl2/process/process_expression.h

class mcrl2::process::merge¶: The merge operator.

Public member functions¶

const process_expression &left() const

merge()¶: Default constructor.

merge(const atermpp::aterm &term)¶

Constructor.

Parameters:

term A term

merge(const process_expression &left, const process_expression &right)¶: Constructor.

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

merge(merge&&) noexcept = default¶

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

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

const process_expression &right() const