mcrl2/process/alphabet_bounded.h

Include file:

#include "mcrl2/process/alphabet_bounded.h"

add your file description here.

Classes

• mcrl2::process::detail::alphabet_bounded_traverser

Functions

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

Functions

multi_action_name_set alphabet_bounded(const process_expression &x, const allow_set &A, const std::vector<process_equation> &equations, const std::map<process_identifier, multi_action_name_set> &cache)