mCRL2
Loading...
Searching...
No Matches
mcrl2::data::detail::normalize_sorts_function Member List

This is the complete list of members for mcrl2::data::detail::normalize_sorts_function, including all inherited members.

argument_type typedefmcrl2::data::detail::normalize_sorts_function
m_normalised_aliasesmcrl2::data::detail::normalize_sorts_function
normalize_sorts_function(const sort_specification &sort_spec)mcrl2::data::detail::normalize_sorts_functioninline
operator()(const sort_expression &e) constmcrl2::data::detail::normalize_sorts_functioninline
result_type typedefmcrl2::data::detail::normalize_sorts_function