mcrl2/process/alphabet_efficient.h

Include file:

#include "mcrl2/process/alphabet_efficient.h"

add your file description here.

Classes

  • mcrl2::process::detail::alphabet_efficient_traverser

  • mcrl2::process::detail::apply_alphabet_efficient_traverser

Functions

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

Functions

alphabet_node mcrl2::process::detail::alphabet_efficient(const process_expression &x, const std::vector<process_equation> &equations, std::set<process_identifier> &W)