mcrl2::smt::identity_function_definition

Include file:

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

Public member functions

virtual std::string generate_data_expression(const std::map<data::variable, std::string> &declared_variables, data::data_expression_vector arguments) const
identity_function_definition(data_specification *data_specification)