mcrl2::process::left_merge

Include file:

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

The left merge operator.

Public member functions

const process_expression &left() const
left_merge()

Default constructor.

left_merge(const atermpp::aterm &term)

Constructor.

Parameters:

  • term A term
left_merge(const process_expression &left, const process_expression &right)

Constructor.

left_merge(const left_merge&) noexcept = default

Move semantics.

left_merge(left_merge&&) noexcept = default
left_merge &operator=(const left_merge&) noexcept = default
left_merge &operator=(left_merge&&) noexcept = default
const process_expression &right() const