mcrl2/process/allow_set.h¶

Include file:

#include "mcrl2/process/allow_set.h"

add your file description here.

Classes¶

mcrl2::process::allow_set

Functions¶

std::ostream &operator<<(std::ostream &out, const allow_set &x)¶

Functions¶

allow_set mcrl2::process::alphabet_operations::allow(const action_name_multiset_list &V, const allow_set &x)¶

allow_set mcrl2::process::alphabet_operations::block(const core::identifier_string_list &B, const allow_set &x)¶

std::pair<multi_action_name_set, bool> mcrl2::process::alphabet_operations::bounded_concat(const multi_action_name_set &A1, const multi_action_name_set &A2, const allow_set &A)¶

std::pair<multi_action_name_set, bool> mcrl2::process::alphabet_operations::bounded_left_merge(const multi_action_name_set &A1, const multi_action_name_set &A2, const allow_set &A)¶

std::pair<multi_action_name_set, bool> mcrl2::process::alphabet_operations::bounded_merge(const multi_action_name_set &A1, const multi_action_name_set &A2, const allow_set &A)¶

std::pair<multi_action_name_set, bool> mcrl2::process::alphabet_operations::bounded_sync(const multi_action_name_set &A1, const multi_action_name_set &A2, const allow_set &A)¶

allow_set mcrl2::process::alphabet_operations::comm_inverse(const communication_expression_list &C, const allow_set &x)¶

allow_set mcrl2::process::alphabet_operations::hide_inverse(const core::identifier_string_list &I, const allow_set &x)¶

allow_set mcrl2::process::alphabet_operations::left_arrow(const allow_set &x, const multi_action_name_set &A)¶

allow_set mcrl2::process::alphabet_operations::rename_inverse(const rename_expression_list &R, const allow_set &x)¶

multi_action_name_set mcrl2::process::alphabet_operations::set_intersection(const allow_set &A1, const multi_action_name_set &A)¶

bool mcrl2::process::alphabet_operations::subset_includes(const allow_set &A, const multi_action_name &alpha)¶

allow_set mcrl2::process::alphabet_operations::subsets(const allow_set &x)¶