mCRL2
|
This is the complete list of members for specification_basic_type::make_substitution, including all inherited members.
argument_type typedef | specification_basic_type::make_substitution | |
m_map | specification_basic_type::make_substitution | |
make_substitution(const std::map< process_identifier, process_identifier > &map) | specification_basic_type::make_substitution | inline |
operator()(const process_identifier &id) const | specification_basic_type::make_substitution | inline |
result_type typedef | specification_basic_type::make_substitution |