mcrl2::data::detail::translate_user_notation_function Struct Reference

#include <translate_user_notation.h>

Public Types
using	argument_type = data_expression
using	result_type = data_expression

Public Member Functions
data_expression	operator() (const data_expression &x) const

Detailed Description

Definition at line 150 of file translate_user_notation.h.

Member Typedef Documentation

argument_type

using mcrl2::data::detail::translate_user_notation_function::argument_type = data_expression

Definition at line 152 of file translate_user_notation.h.

result_type

using mcrl2::data::detail::translate_user_notation_function::result_type = data_expression

Definition at line 153 of file translate_user_notation.h.

Member Function Documentation

operator()()

data_expression mcrl2::data::detail::translate_user_notation_function::operator() ( const data_expression &  x ) const

inline

Definition at line 155 of file translate_user_notation.h.

---

The documentation for this struct was generated from the following file:

• data/include/mcrl2/data/translate_user_notation.h