mCRL2
|
This is the complete list of members for mcrl2::data::detail::normalize_sorts_function, including all inherited members.
argument_type typedef | mcrl2::data::detail::normalize_sorts_function | |
m_normalised_aliases | mcrl2::data::detail::normalize_sorts_function | |
normalize_sorts_function(const sort_specification &sort_spec) | mcrl2::data::detail::normalize_sorts_function | inline |
operator()(const sort_expression &e) const | mcrl2::data::detail::normalize_sorts_function | inline |
result_type typedef | mcrl2::data::detail::normalize_sorts_function |