mcrl2/process/alphabet_operations.h

Include file:

#include "mcrl2/process/alphabet_operations.h"

add your file description here.

Classes

  • mcrl2::process::alphabet_operations::rename_inverse_apply

Typedefs

type rename_inverse_map

typedef for std::map< core::identifier_string, std::vector< core::identifier_string > >

Functions

multi_action_name_set mcrl2::process::alphabet_operations::allow(const action_name_multiset_list &V, const multi_action_name_set &A, bool A_includes_subsets = false)
void mcrl2::process::alphabet_operations::apply_comm(const communication_expression &c, multi_action_name_set &A)
std::pair<multi_action_name, multi_action_name> mcrl2::process::alphabet_operations::apply_comm_inverse(const communication_expression &x, const multi_action_name &alpha1, const multi_action_name &alpha2)
void mcrl2::process::alphabet_operations::apply_comm_inverse(const communication_expression &gamma, multi_action_name_set &A)
core::identifier_string mcrl2::process::alphabet_operations::apply_rename(const rename_expression_list &R, const core::identifier_string &x)
multi_action_name mcrl2::process::alphabet_operations::apply_rename(const rename_expression_list &R, const multi_action_name &a)
multi_action_name_set mcrl2::process::alphabet_operations::block(const core::identifier_string_list &B, const multi_action_name_set &A, bool A_includes_subsets = false)
multi_action_name_set mcrl2::process::alphabet_operations::bounded_concat(const multi_action_name_set &A1, const multi_action_name_set &A2, const multi_action_name_set &A)
multi_action_name_set mcrl2::process::alphabet_operations::bounded_merge(const multi_action_name_set &A1, const multi_action_name_set &A2, const multi_action_name_set &A)
multi_action_name_set mcrl2::process::alphabet_operations::bounded_sync(const multi_action_name_set &A1, const multi_action_name_set &A2, const multi_action_name_set &A)
multi_action_name_set mcrl2::process::alphabet_operations::comm(const communication_expression_list &C, const multi_action_name_set &A, bool = false)
void mcrl2::process::alphabet_operations::comm_inverse(const communication_expression_list &C, const multi_action_name &alpha1, const multi_action_name &alpha2, multi_action_name_set &result)
multi_action_name_set mcrl2::process::alphabet_operations::comm_inverse(const communication_expression_list &C, const multi_action_name_set &A, bool = false)
std::set<core::identifier_string> mcrl2::process::alphabet_operations::comm_inverse(const communication_expression_list &C, const std::set<core::identifier_string> &I)
multi_action_name_set mcrl2::process::alphabet_operations::comm_inverse1(const communication_expression_list &C, const multi_action_name_set &A)
multi_action_name_set mcrl2::process::alphabet_operations::concat(const multi_action_name_set &A1, const multi_action_name_set &A2)
bool mcrl2::process::alphabet_operations::concat_includes(const multi_action_name_set &A1, const multi_action_name_set &A2, const multi_action_name &alpha)
bool mcrl2::process::alphabet_operations::contains(const multi_action_name &alpha, const core::identifier_string &a)
bool mcrl2::process::alphabet_operations::contains(const multi_action_name_set &A, const multi_action_name &a)
communication_expression_list mcrl2::process::alphabet_operations::filter_comm_set(const communication_expression_list &C, const multi_action_name_set &alphabet)
multi_action_name mcrl2::process::alphabet_operations::hide(const multi_action_name &alpha, const std::set<core::identifier_string> &I)
std::set<core::identifier_string> mcrl2::process::alphabet_operations::hide(const core::identifier_string_list &I, const std::set<core::identifier_string> &J)
multi_action_name mcrl2::process::alphabet_operations::hide(const std::set<core::identifier_string> &I, const multi_action_name &alpha)
multi_action_name_set mcrl2::process::alphabet_operations::hide(const IdentifierContainer &I, const multi_action_name_set &A, bool = false)
multi_action_name_set mcrl2::process::alphabet_operations::hide_inverse(const core::identifier_string_list &I, const multi_action_name_set &A, bool A_includes_subsets = false)
bool mcrl2::process::alphabet_operations::includes(const multi_action_name &x, const multi_action_name &y)
bool mcrl2::process::alphabet_operations::includes(const multi_action_name_set &A, const multi_action_name &y)
bool mcrl2::process::alphabet_operations::is_source(const rename_expression_list &R, const core::identifier_string &x)
multi_action_name_set mcrl2::process::alphabet_operations::left_arrow(const multi_action_name_set &A1, bool A1_includes_subsets, const multi_action_name_set &A2)
multi_action_name_set mcrl2::process::alphabet_operations::left_arrow1(const multi_action_name_set &A1, const multi_action_name_set &A2)
multi_action_name_set mcrl2::process::alphabet_operations::left_arrow2(const multi_action_name_set &A, const std::set<core::identifier_string> &I, const multi_action_name_set &A2)
multi_action_name_set mcrl2::process::alphabet_operations::left_merge(const multi_action_name_set &A1, const multi_action_name_set &A2)
multi_action_name_set mcrl2::process::alphabet_operations::make_name_set(const action_name_multiset_list &v)
multi_action_name_set mcrl2::process::alphabet_operations::merge(const multi_action_name_set &A1, const multi_action_name_set &A2)
multi_action_name mcrl2::process::alphabet_operations::multiset_difference(const multi_action_name &alpha, const multi_action_name &beta)
multi_action_name mcrl2::process::alphabet_operations::multiset_union(const multi_action_name &alpha, const multi_action_name &beta)
std::string mcrl2::process::alphabet_operations::print_rename_inverse_map(const rename_inverse_map &m)
multi_action_name_set mcrl2::process::alphabet_operations::remove_subsets(const multi_action_name_set &A)
multi_action_name_set mcrl2::process::alphabet_operations::rename(const rename_expression_list &R, const multi_action_name_set &A, bool = false)

Computes R(A)

rename_inverse_map mcrl2::process::alphabet_operations::rename_inverse(const rename_expression_list &R)
std::set<core::identifier_string> mcrl2::process::alphabet_operations::rename_inverse(const rename_expression_list &R, const std::set<core::identifier_string> &I)
void mcrl2::process::alphabet_operations::rename_inverse(const rename_inverse_map &Rinverse, const multi_action_name &x, bool x_includes_subsets, multi_action_name_set &result)
multi_action_name_set mcrl2::process::alphabet_operations::rename_inverse(const rename_expression_list &R, const multi_action_name_set &A, bool A_includes_subsets = false)

Computes R^[-1}(A)

multi_action_name_set mcrl2::process::alphabet_operations::set_difference(const multi_action_name_set &A1, const multi_action_name_set &A2)
multi_action_name_set mcrl2::process::alphabet_operations::set_intersection(const multi_action_name_set &A1, const multi_action_name_set &A2)
multi_action_name_set mcrl2::process::alphabet_operations::set_union(const multi_action_name_set &A1, const multi_action_name_set &A2)
bool mcrl2::process::alphabet_operations::subset_includes(const multi_action_name_set &A, const multi_action_name &x)
multi_action_name_set mcrl2::process::alphabet_operations::sync(const multi_action_name_set &A1, const multi_action_name_set &A2)