mcrl2/process/alphabet_new.h

Include file:

#include "mcrl2/process/alphabet_new.h"

add your file description here.

Classes

• mcrl2::process::detail::alphabet_new_traverser

Functions

multi_action_name_set mcrl2::process::alphabet_new(const process_expression &x, const std::vector<process_equation> &equations)