mcrl2::smt::named_function_definition

Include file:

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

Protected attributes

std::string m_name

Public member functions

virtual std::string generate_data_expression(const std::map<data::variable, std::string> &declared_variables, data::data_expression_vector arguments) const
std::string name() const
named_function_definition(data_specification *data_specification, data::sort_expression sort, std::string name)
named_function_definition(data_specification *data_specification, std::string name)
named_function_definition(data_specification *data_specification, data::function_symbol function)