mcrl2::smt::pp_function_definition

Include file:

#include "mcrl2/smt/pp_function_definition.h
class mcrl2::smt::pp_function_definition

Protected attributes

data::function_symbol m_function
Printer m_printer

Public member functions

virtual std::string generate_data_expression(const std::map<data::variable, std::string>&, data::data_expression_vector arguments) const
pp_function_definition(data_specification *data_specification, data::sort_expression sort, data::function_symbol function, Printer printer)