mcrl2/process/alphabet.h

Include file:

#include "mcrl2/process/alphabet.h"

add your file description here.

Classes

  • mcrl2::process::detail::alphabet_node

  • mcrl2::process::detail::alphabet_traverser

  • mcrl2::process::detail::apply_alphabet_traverser

Functions

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

Functions

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