mcrl2/process/alphabet_pcrl.h

Include file:

#include "mcrl2/process/alphabet_pcrl.h"

add your file description here.

Classes

  • mcrl2::process::detail::alphabet_pcrl_traverser

Functions

multi_action_name_set mcrl2::process::alphabet_pcrl(const process_expression &x, const std::map<process_identifier, multi_action_name_set> &pcrl_equation_cache)

Computes the alphabet of a pCRL expression x, using a pCRL equation cache.