Include file:
#include "mcrl2/process/process_expression.h
mcrl2::process::
seq
¶The sequential composition.
left
() constright
() constseq
()Default constructor.
seq
(const atermpp::aterm &term)Constructor.
Parameters:
term A term
seq
(const process_expression &left, const process_expression &right)¶Constructor.
seq
(const seq&) noexcept = defaultMove semantics.
seq
(seq&&) noexcept = default