mcrl2::smt::cvc4_constructed_sort_definition

class mcrl2::smt::cvc4_constructed_sort_definition

Protected attributes

std::map<data::function_symbol, std::string> m_constructor_names
std::map<data::function_symbol, std::vector<std::string>> m_field_names

Public member functions

cvc4_constructed_sort_definition(data_specification *data_specification, data::sort_expression sort, const constructors_t &constructors)
std::string generate_definition() const