mcrl2::process::bounded_init

Include file:

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

The bounded initialization.

Public member functions

bounded_init()

Default constructor.

bounded_init(const atermpp::aterm &term)

Constructor.

Parameters:

  • term A term

bounded_init(const process_expression &left, const process_expression &right)

Constructor.

bounded_init(const bounded_init&) noexcept = default

Move semantics.

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