mcrl2::process::hide

Include file:

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

The hide operator.

Public member functions

hide()

Default constructor.

hide(const atermpp::aterm &term)

Constructor.

Parameters:

  • term A term
hide(const core::identifier_string_list &hide_set, const process_expression &operand)

Constructor.

hide(const hide&) noexcept = default

Move semantics.

hide(hide&&) noexcept = default
const core::identifier_string_list &hide_set() const
const process_expression &operand() const
hide &operator=(const hide&) noexcept = default
hide &operator=(hide&&) noexcept = default