mcrl2::data::detail::translate_user_notation_builder

Include file:

#include "mcrl2/data/translate_user_notation.h
class mcrl2::data::detail::translate_user_notation_builder

Public types

type super

typedef for data_expression_builder< Derived >

Public member functions

data_expression apply(const abstraction &x)
data_expression apply(const function_symbol &x)
data_expression apply(const application &x)
Derived &derived()