mcrl2::process::allow¶

Include file:

#include "mcrl2/process/process_expression.h

class mcrl2::process::allow¶: The allow operator.

Public member functions¶

allow()¶: Default constructor.

allow(const atermpp::aterm &term)¶

Constructor.

Parameters:

term A term

allow(const action_name_multiset_list &allow_set, const process_expression &operand)¶: Constructor.

allow(const allow&) noexcept = default¶: Move semantics.

allow(allow&&) noexcept = default¶

const action_name_multiset_list &allow_set() const¶

const process_expression &operand() const

allow &operator=(const allow&) noexcept = default¶

allow &operator=(allow&&) noexcept = default¶