Include file:
#include "mcrl2/process/process_expression.h
mcrl2::process::
allow
¶The allow operator.
allow
()¶Default constructor.
allow
(const action_name_multiset_list &allow_set, const process_expression &operand)¶Constructor.
allow_set
() const¶operand
() const