mcrl2::process::hide

Include file:

#include "mcrl2/process/process_expression.h

class mcrl2::process::hide

brief The hide operator

Public member functions

hide()

brief Default constructor.

hide(const atermpp::aterm &term)

brief Constructor. param term A term

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

brief 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