mcrl2/process/utility.h

Include file:

#include "mcrl2/process/utility.h"

add your file description here.

Functions

bool mcrl2::process::contains_tau(const multi_action_name_set &A)

bool mcrl2::process::is_pcrl(const process_expression &x)

Returns true if x is a pCRL expression. N.B. This test depends on the assumption that in mCRL2 a top level pCRL expression may never contain a non-pCRL expression.

process_expression mcrl2::process::make_allow(const multi_action_name_set &A, const process_expression &x)

process_expression mcrl2::process::make_block(const core::identifier_string_list &B, const process_expression &x)

process_expression mcrl2::process::make_comm(const communication_expression_list &C, const process_expression &x)

process_expression mcrl2::process::make_hide(const core::identifier_string_list &I, const process_expression &x)

process_expression mcrl2::process::make_left_merge(const process_expression &x, const process_expression &y)

process_expression mcrl2::process::make_merge(const process_expression &x, const process_expression &y)

process_expression mcrl2::process::make_sync(const process_expression &x, const process_expression &y)