specification_basic_type::enumeratedtype

class specification_basic_type::enumeratedtype

Public attributes

data_expression_list elementnames
function_symbol_list functions
std::size_t size
sort_expression sortId

Public member functions

enumeratedtype(const std::size_t n, specification_basic_type &spec)
enumeratedtype(const enumeratedtype &e)
void operator=(const enumeratedtype &e)
~enumeratedtype()