mcrl2/process/is_multi_action.h

Include file:

#include "mcrl2/process/is_multi_action.h"

add your file description here.

Classes

  • mcrl2::process::detail::sync_multi_action_name_traverser

Functions

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

Returns true if x is a multi action.

multi_action_name mcrl2::process::sync_multi_action_name(const sync &x)

Computes a multi action name corresponding to a sync (provided that the sync is a pCRL expression).