mcrl2::smt::pos_sort_definition

class mcrl2::smt::pos_sort_definition

Public member functions

std::string generate_variable_declaration(const core::identifier_string &name) const
pos_sort_definition(data_specification *data_specification)