mcrl2::process::seq

Include file:

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

The sequential composition.

Public member functions

const process_expression &left() const
seq &operator=(const seq&) noexcept = default
seq &operator=(seq&&) noexcept = default
const process_expression &right() const
seq()

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 = default

Move semantics.

seq(seq&&) noexcept = default