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

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

argument_type typedefmcrl2::data::detail::translate_user_notation_function
operator()(const data_expression &x) constmcrl2::data::detail::translate_user_notation_functioninline
result_type typedefmcrl2::data::detail::translate_user_notation_function