Include file:
#include "mcrl2/process/process_expression.h
mcrl2::process::
merge
¶The merge operator.
left
() constmerge
()¶Default constructor.
merge
(const process_expression &left, const process_expression &right)¶Constructor.
right
() const