specification_basic_type::enumeratedtype¶

class specification_basic_type::enumeratedtype¶

Public attributes¶

data_expression_list specification_basic_type::enumeratedtype::elementnames¶

function_symbol_list specification_basic_type::enumeratedtype::functions¶

std::size_t specification_basic_type::enumeratedtype::size¶

sort_expression specification_basic_type::enumeratedtype::sortId¶

Public member functions¶

enumeratedtype(const enumeratedtype &e)¶

enumeratedtype(const std::size_t n, specification_basic_type &spec)¶

void operator=(const enumeratedtype &e)¶

~enumeratedtype()¶