mCRL2
|
This is the complete list of members for mcrl2::process::detail::process_context, including all inherited members.
add_process_identifiers(const ProcessIdentifierContainer &ids, const action_context &action_ctx, const data::sort_type_checker &sort_typechecker) | mcrl2::process::detail::process_context | inline |
clear() | mcrl2::process::detail::process_context | inline |
find_violating_assignment(const data::untyped_identifier_assignment_list &assignments, const data::variable_list ¶meters) const | mcrl2::process::detail::process_context | inlineprivate |
is_declared(const core::identifier_string &name) const | mcrl2::process::detail::process_context | inline |
is_matching_assignment(const data::untyped_identifier_assignment_list &assignments, const data::variable_list ¶meters) const | mcrl2::process::detail::process_context | inlineprivate |
m_process_identifiers | mcrl2::process::detail::process_context | private |
make_process_instance(const core::identifier_string &name, const data::sort_expression_list &formal_parameters, const data::data_expression_list &actual_parameters) const | mcrl2::process::detail::process_context | inline |
match_untyped_process_instance_assignment(const untyped_process_assignment &x) const | mcrl2::process::detail::process_context | inline |
matching_process_sorts(const core::identifier_string &name, const data::data_expression_list ¶meters) const | mcrl2::process::detail::process_context | inline |