mCRL2
|
This is the complete list of members for mcrl2::data::detail::translate_user_notation_function, including all inherited members.
argument_type typedef | mcrl2::data::detail::translate_user_notation_function | |
operator()(const data_expression &x) const | mcrl2::data::detail::translate_user_notation_function | inline |
result_type typedef | mcrl2::data::detail::translate_user_notation_function |