mCRL2
Loading...
Searching...
No Matches
specification_basic_type::make_substitution Member List

This is the complete list of members for specification_basic_type::make_substitution, including all inherited members.

argument_type typedefspecification_basic_type::make_substitution
m_mapspecification_basic_type::make_substitution
make_substitution(const std::map< process_identifier, process_identifier > &map)specification_basic_type::make_substitutioninline
operator()(const process_identifier &id) constspecification_basic_type::make_substitutioninline
result_type typedefspecification_basic_type::make_substitution