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()¶