|
bool | subset_includes (const allow_set &A, const multi_action_name &alpha) |
|
multi_action_name_set | set_intersection (const allow_set &A1, const multi_action_name_set &A) |
|
std::pair< multi_action_name_set, bool > | 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 > | 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 > | 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 > | bounded_sync (const multi_action_name_set &A1, const multi_action_name_set &A2, const allow_set &A) |
|
allow_set | block (const core::identifier_string_list &B, const allow_set &x) |
|
allow_set | hide_inverse (const core::identifier_string_list &I, const allow_set &x) |
|
allow_set | allow (const action_name_multiset_list &V, const allow_set &x) |
|
allow_set | rename_inverse (const rename_expression_list &R, const allow_set &x) |
|
allow_set | comm_inverse (const communication_expression_list &C, const allow_set &x) |
|
allow_set | left_arrow (const allow_set &x, const multi_action_name_set &A) |
|
allow_set | subsets (const allow_set &x) |
|
bool | includes (const multi_action_name &x, const multi_action_name &y) |
|
bool | contains (const multi_action_name &alpha, const core::identifier_string &a) |
|
multi_action_name | multiset_difference (const multi_action_name &alpha, const multi_action_name &beta) |
|
multi_action_name | multiset_union (const multi_action_name &alpha, const multi_action_name &beta) |
|
multi_action_name_set | make_name_set (const action_name_multiset_list &v) |
|
bool | contains (const multi_action_name_set &A, const multi_action_name &a) |
|
bool | includes (const multi_action_name_set &A, const multi_action_name &y) |
|
bool | subset_includes (const multi_action_name_set &A, const multi_action_name &x) |
|
multi_action_name_set | set_difference (const multi_action_name_set &A1, const multi_action_name_set &A2) |
|
multi_action_name_set | set_union (const multi_action_name_set &A1, const multi_action_name_set &A2) |
|
multi_action_name_set | set_intersection (const multi_action_name_set &A1, const multi_action_name_set &A2) |
|
multi_action_name_set | remove_subsets (const multi_action_name_set &A) |
|
multi_action_name_set | block (const core::identifier_string_list &B, const multi_action_name_set &A, bool A_includes_subsets=false) |
|
multi_action_name | hide (const multi_action_name &alpha, const std::set< core::identifier_string > &I) |
|
std::set< core::identifier_string > | hide (const core::identifier_string_list &I, const std::set< core::identifier_string > &J) |
|
multi_action_name | hide (const std::set< core::identifier_string > &I, const multi_action_name &alpha) |
|
template<typename IdentifierContainer > |
multi_action_name_set | hide (const IdentifierContainer &I, const multi_action_name_set &A, bool=false) |
|
multi_action_name_set | hide_inverse (const core::identifier_string_list &I, const multi_action_name_set &A, bool A_includes_subsets=false) |
|
multi_action_name_set | concat (const multi_action_name_set &A1, const multi_action_name_set &A2) |
|
bool | concat_includes (const multi_action_name_set &A1, const multi_action_name_set &A2, const multi_action_name &alpha) |
|
multi_action_name_set | bounded_concat (const multi_action_name_set &A1, const multi_action_name_set &A2, const multi_action_name_set &A) |
|
multi_action_name_set | left_arrow1 (const multi_action_name_set &A1, const multi_action_name_set &A2) |
|
multi_action_name_set | left_arrow (const multi_action_name_set &A1, bool A1_includes_subsets, const multi_action_name_set &A2) |
|
multi_action_name_set | 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 | merge (const multi_action_name_set &A1, const multi_action_name_set &A2) |
|
multi_action_name_set | bounded_merge (const multi_action_name_set &A1, const multi_action_name_set &A2, const multi_action_name_set &A) |
|
multi_action_name_set | left_merge (const multi_action_name_set &A1, const multi_action_name_set &A2) |
|
multi_action_name_set | sync (const multi_action_name_set &A1, const multi_action_name_set &A2) |
|
multi_action_name_set | bounded_sync (const multi_action_name_set &A1, const multi_action_name_set &A2, const multi_action_name_set &A) |
|
std::pair< multi_action_name, multi_action_name > | apply_comm_inverse (const communication_expression &x, const multi_action_name &alpha1, const multi_action_name &alpha2) |
|
void | apply_comm_inverse (const communication_expression &gamma, multi_action_name_set &A) |
|
void | 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 | comm_inverse1 (const communication_expression_list &C, const multi_action_name_set &A) |
|
multi_action_name_set | comm_inverse (const communication_expression_list &C, const multi_action_name_set &A, bool=false) |
|
std::set< core::identifier_string > | comm_inverse (const communication_expression_list &C, const std::set< core::identifier_string > &I) |
|
void | apply_comm (const communication_expression &c, multi_action_name_set &A) |
|
multi_action_name_set | comm (const communication_expression_list &C, const multi_action_name_set &A, bool=false) |
|
communication_expression_list | filter_comm_set (const communication_expression_list &C, const multi_action_name_set &alphabet) |
|
bool | is_source (const rename_expression_list &R, const core::identifier_string &x) |
|
core::identifier_string | apply_rename (const rename_expression_list &R, const core::identifier_string &x) |
|
multi_action_name | apply_rename (const rename_expression_list &R, const multi_action_name &a) |
|
multi_action_name_set | rename (const rename_expression_list &R, const multi_action_name_set &A, bool=false) |
| Computes R(A)
|
|
rename_inverse_map | rename_inverse (const rename_expression_list &R) |
|
std::string | print_rename_inverse_map (const rename_inverse_map &m) |
|
std::set< core::identifier_string > | rename_inverse (const rename_expression_list &R, const std::set< core::identifier_string > &I) |
|
void | 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 | 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 | allow (const action_name_multiset_list &V, const multi_action_name_set &A, bool A_includes_subsets=false) |
|