mCRL2
Loading...
Searching...
No Matches
mcrl2::process::detail::process_context Member List

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_contextinline
clear()mcrl2::process::detail::process_contextinline
find_violating_assignment(const data::untyped_identifier_assignment_list &assignments, const data::variable_list &parameters) constmcrl2::process::detail::process_contextinlineprivate
is_declared(const core::identifier_string &name) constmcrl2::process::detail::process_contextinline
is_matching_assignment(const data::untyped_identifier_assignment_list &assignments, const data::variable_list &parameters) constmcrl2::process::detail::process_contextinlineprivate
m_process_identifiersmcrl2::process::detail::process_contextprivate
make_process_instance(const core::identifier_string &name, const data::sort_expression_list &formal_parameters, const data::data_expression_list &actual_parameters) constmcrl2::process::detail::process_contextinline
match_untyped_process_instance_assignment(const untyped_process_assignment &x) constmcrl2::process::detail::process_contextinline
matching_process_sorts(const core::identifier_string &name, const data::data_expression_list &parameters) constmcrl2::process::detail::process_contextinline