mcrl2::process::bounded_init

Include file:

#include "mcrl2/process/process_expression.h

class mcrl2::process::bounded_init

brief The bounded initialization

Public member functions

bounded_init()

brief Default constructor.

bounded_init(bounded_init&&) noexcept = default

bounded_init(const atermpp::aterm &term)

brief Constructor. param term A term

bounded_init(const bounded_init&) noexcept = default

Move semantics.

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

brief Constructor.

const process_expression &left() const

bounded_init &operator=(bounded_init&&) noexcept = default

bounded_init &operator=(const bounded_init&) noexcept = default

const process_expression &right() const